work/bootstrap/gec17.c
void eif_file_recede(FILE *f, EIF_INTEGER pos) {
	errno = 0;
	if (fseek(f, -pos, FS_END) != 0) {
		esys();
	}
	clearerr(f);
}
/*
 * Go to absolute position `pos' counted from end.
 */
Go to absolute position `pos' counted from end.
Go to absolute position ` pos ' counted from end .
void eif_file_recede(FILE *f, EIF_INTEGER pos) {
	errno = 0;
	if (fseek(f, -pos, FS_END) != 0) {
		esys();
	}
	clearerr(f);
}
void eif_file_recede ( FILE * f , EIF_INTEGER pos ) { errno = 0 ; if ( fseek ( f , - pos , FS_END ) != 0 ) { esys ( ) ; } clearerr ( f ) ; }
Go to absolute position `pos' counted from end.
Go to absolute position ` pos ' counted from end .