let read_pid_from_file name =   let chan = open_in name in   let doit () = int_of_string (input_line chan) in   try_finalize doit () (fun _ -> close_in chan) ()