#include <stdio.h>

void foo(FILE *s) {
  char *x;
  fgets(x, 0, s);
}