1?
sequence_symbol
2 EXITCTL
exit_type
3+ 3 , 3.1?
control_value
3.2 (1)