ASSERT(2 * 2 == 5, "assert failed");