let get_pid () = -1