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