<procedure start area> ::=
<procedure start symbol>
contains { [ <virtuality> ] }
is followed by <transition area>
Local variables within the procedure are created when the procedure start is interpreted, and it ceases to exist when the return of the procedure graph is interpreted.
See also procedure .