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 -> ()