int _write ( int file, char *ptr, int len) { return __trap34 (SYS_write, file, ptr, len); }
int _lseek (int file, int ptr, int dir) { return __trap34 (SYS_lseek, file, ptr, dir); }
int _read (int file, char *ptr, int len) { return __trap34 (SYS_read, file, ptr, len); }
int console_inbyte_nonblocking( int port ) { unsigned char c; return __trap34 (SYS_read, 0, &c, 1); }
void console_outbyte_polled( int port, char ch ) { __trap34 (SYS_write, 1, &ch, 1); return; }
/* XXX wrong place for this */ int _sys_exit (int n) { return __trap34 (SYS_exit, n, 0, 0); }
int _close (int file) { return __trap34 (SYS_close, file, 0, 0); }