SYSCALL4 write, SYS_WRITE ; int, int64_t, void*
SYSCALL4 seek, SYS_SEEK ; int, int64_t, int
SYSCALL3 finfo, SYS_FINFO ; int, void*, int
SYSCALL4 write, SYS_WRITE ; int, int64_t, void*
SYSCALL4 seek, SYS_SEEK ; int, int64_t, int
SYSCALL3 finfo, SYS_FINFO ; int, void*, int