let
pretty_c_assert _lv _s _fmt _v = ()