2004-07-16 02:26:21 -04:00
|
|
|
void init_io(void);
|
2004-07-18 22:14:36 -04:00
|
|
|
void primitive_open_file(void);
|
2004-07-16 02:26:21 -04:00
|
|
|
void primitive_read_line_8(void);
|
|
|
|
|
void primitive_write_8(void);
|
2004-07-18 22:14:36 -04:00
|
|
|
void primitive_close(void);
|
