Of course, with the current definition of ASSERT, one can still compute format-strings by using "~?", format indirection...