+ The push_eh I<LABEL> syntax actually creates a continuation.