let @sys_read (u32 fd, i8* buf, u64 size) in {
    syscall3(0,fd,buf,size);
}

let @sys_write (u32 fd, i8* buf, u64 size) in {
    syscall3(1,fd,buf,size);
}

let @sys_open (i8* name, i32 flags, u16 mode) in {
    syscall3(2,name,flags,mode);
}

let @sys_close (u32 fd) in {
    syscall1(3,fd);
}

let @sys_exit (i32 code) in {
    syscall1(60,code);
}