let of_file_opt file = try Some (of_file file) with Bad _ -> None