<*ASSERT a = 42*>