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