# include <stdio.h>
size_t fread(
  void * restrict buf,
  size_t size,
  size_t n,
  FILE * restrict fp
);