let
pretty_c_assert prampamp lv s fmt v =
V
.pretty_c_assert prampamp lv s fmt (get_v v)