2005-04-29 02:36:32 -04:00
|
|
|
int factor_errno(void);
|
2005-04-22 20:09:46 -04:00
|
|
|
void init_c_io(void);
|
2005-05-01 14:30:53 -04:00
|
|
|
void io_error(void);
|
2005-04-22 20:09:46 -04:00
|
|
|
void primitive_fopen(void);
|
|
|
|
|
void primitive_fwrite(void);
|
|
|
|
|
void primitive_fflush(void);
|
|
|
|
|
void primitive_fclose(void);
|
2005-04-23 19:34:06 -04:00
|
|
|
void primitive_fgets(void);
|
