let discard_printf fmt = Format.ifprintf Format.std_formatter fmt