EXIT block { DEF [exp] } block: { FUNCTION [exp] } { SUB } { HANDLER } { PROGRAM [int-exp] } { label }