/* syscall: "syscall" ret: "int" args: "int" "..." */