let context_pp s = Context.pp Format.std_formatter s; Format.print_flush()