let pretty_c_assert print_ampamp lv s_bytes fmt v =
    try
      let candidate_types = Hashtbl.find types s_bytes in
      let rec find_typ l =
        match l with
          [] -> ()
        | (range, _, _) :: t when not (is_included v range) ->
            find_typ t
        | (_range, typname, pr) :: _ ->
            pr fmt print_ampamp typname lv v

      in
      find_typ candidate_types
    with Not_based_on_null -> ()