cleanup, reset @ assert