// ----------------------------------------------------------------------------
int fgetpos( FILE * restrict stream, fpos_t * restrict pos ) { /* TODO */ };
// ----------------------------------------------------------------------------
int fgetpos( FILE * restrict stream, fpos_t * restrict pos ) { /* TODO */ };