-SYSCALL4 read, SYS_READ ; int, int64_t, void*
-SYSCALL4 write, SYS_WRITE ; int, int64_t, void*
-SYSCALL4 seek, SYS_SEEK ; int, int64_t, int
+SYSCALL3 read, SYS_READ ; int, uint, void*
+SYSCALL3 write, SYS_WRITE ; int, uint, void*
+SYSCALL4 seek, SYS_SEEK ; int, uint64_t, int
+SYSCALL1 tell, SYS_TELL ; int