Syscall pseudocode