Using verbose `assert' statements.