assert condition;
assert condition : explanation;