The @ error-control operator

Implementation of the @ control operator.