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;;