-SYSCALL2 open, SYS_OPEN
-SYSCALL3 reopen, SYS_REOPEN
-SYSCALL1 close, SYS_CLOSE
-SYSCALL3 read, SYS_READ
+SYSCALL2 open, SYS_OPEN ; char*, int
+SYSCALL3 reopen, SYS_REOPEN ; int, char*, int
+SYSCALL1 close, SYS_CLOSE ; int
+SYSCALL4 read, SYS_READ ; int, int64_t, void*