let pidmap: (int,in_pathname * Unix.file_descr) Hashtbl.t = Hashtbl.create 1024