This directive restores the previously saved options (see details in $PUSH).
An error is generated if there was no matching $PUSH.
{$POP}