let make_hash (c:Compact.procunit) =
      let h = (Hashtbl.create (List.length c) : firstpassh) in
      let add_entry e =
        let new_v = { comp = None } in
        Hashtbl.add h e new_v
      in
      List.iter add_entry c;
      h