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