let parse_inst_from_file file = let ch = open_in file in let h = parse_inst ch in let _ = close_in ch in h