unsigned sys_read(Handle &, char *, unsigned);
unsigned sys_write(Handle &, const char *, unsigned);
void sys_close(Handle &);
unsigned sys_read(Handle &, char *, unsigned);
unsigned sys_write(Handle &, const char *, unsigned);
void sys_close(Handle &);