let getpid system_state = let p = system_state.current in if !verbose then Printf.eprintf "Getpid\n%!"; p.preg.(v0) <- system_state.current.pid; run system_state in system_traps.(sys_Getpid) <- getpid;; let getppid system_state = let p = system_state.current in if !verbose then Printf.eprintf "Getppid\n%!"; p.preg.(v0) <- system_state.current.ppid; run system_state in system_traps.(sys_Getppid) <- getppid;; |