'--\n'        Comment

'-- Shuttle Digital Autopilot\n' Comment

'--         by Sergey Berezin (berez@cs.cmu.edu)\n' Comment

'--\n'        Comment

'MODULE'      Keyword.Declaration
' '           Text.Whitespace
'cont_3eo_mode_select' Name.Variable
'('           Punctuation
'start'       Name.Variable
','           Punctuation
'smode5'      Name.Variable
','           Punctuation
'vel'         Name.Variable
','           Punctuation
'q_bar'       Name.Variable
','           Punctuation
'apogee_alt_LT_alt_ref' Name.Variable
','           Punctuation
'\n                         ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
','           Punctuation
'alpha_n_GRT_alpha_reg2' Name.Variable
','           Punctuation
'\n                         ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
','           Punctuation
'v_horiz_dnrng_LT_0' Name.Variable
','           Punctuation
'\n                         ' Text.Whitespace
'high_rate_sep' Name.Variable
','           Punctuation
'meco_confirmed' Name.Variable
')'           Punctuation
'\n\n'        Text.Whitespace

'VAR'         Keyword.Declaration
' '           Text.Whitespace
'cont_3EO_start' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'RTLS_abort_declared' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'region_selected' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'm_mode'      Name.Variable
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'mm102'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'mm103'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'mm601'       Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'r'           Name.Variable
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'reg-1'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg0'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg1'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg2'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg3'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg102'      Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'1'           Literal.Number.Integer
','           Punctuation
'2'           Literal.Number.Integer
','           Punctuation
'3'           Literal.Number.Integer
','           Punctuation
'4'           Literal.Number.Integer
','           Punctuation
'5'           Literal.Number.Integer
','           Punctuation
'6'           Literal.Number.Integer
','           Punctuation
'7'           Literal.Number.Integer
','           Punctuation
'8'           Literal.Number.Integer
','           Punctuation
'9'           Literal.Number.Integer
','           Punctuation
'10'          Literal.Number.Integer
','           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
'}'           Punctuation
';'           Punctuation
'\n\n'        Text.Whitespace

'ASSIGN'      Keyword.Declaration
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'cont_3EO_start' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'm_mode'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'{'           Punctuation
'mm102'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'mm103'       Name.Variable
'}'           Punctuation
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'region_selected' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'RTLS_abort_declared' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'r'           Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'reg-1'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'2'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'2'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'smode5'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'5'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'2'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_vi_3eo_max' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'2'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'3'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'3'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'6'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'3'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'4'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'4'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'4'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'6'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'6'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'6'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg0'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'6'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'7'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'7'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'8'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar'       Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_qbar_reg3' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'high_rate_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'10'          Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'9'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'10'          Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
':'           Punctuation
' '           Text.Whitespace
'1'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'exit'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
':'           Punctuation
' '           Text.Whitespace
'step'        Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cont_3EO_start' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
' \n     '    Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cont_3EO_start' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'r'           Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg102'      Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'2'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'smode5'      Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_vi_3eo_max' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'reg0'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'4'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'reg0'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg0'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar'       Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_qbar_reg3' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'high_rate_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg3'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                 ' Text.Whitespace
'('           Punctuation
'h_dot_LT_hdot_reg2' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n                  ' Text.Whitespace
'q_bar'       Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_qbar_reg1' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'high_rate_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
'     '       Text.Whitespace
'reg2'        Name.Variable
';'           Punctuation
'\n                 ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg1'        Name.Variable
';'           Punctuation
'\n               ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg-1'       Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
':'           Punctuation
' '           Text.Whitespace
'r'           Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'RTLS_abort_declared' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
':'           Punctuation
' '           Text.Whitespace
'RTLS_abort_declared' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'm_mode'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'mm601'       Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
':'           Punctuation
' '           Text.Whitespace
'm_mode'      Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'region_selected' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'exit'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'region_selected' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n'        Text.Whitespace

'MODULE'      Keyword.Declaration
' '           Text.Whitespace
'cont_3eo_guide' Name.Variable
'('           Punctuation
'start'       Name.Variable
','           Punctuation
'cont_3EO_start' Name.Variable
','           Punctuation
' '           Text.Whitespace
'mode_select_completed' Name.Variable
','           Punctuation
' '           Text.Whitespace
'et_sep_cmd'  Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'h_dot_LT_0'  Name.Variable
','           Punctuation
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
','           Punctuation
' '           Text.Whitespace
'm_mode'      Name.Variable
','           Punctuation
' '           Text.Whitespace
'r0'          Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
','           Punctuation
' '           Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
','           Punctuation
' \n           ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
','           Punctuation
' '           Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
','           Punctuation
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
','           Punctuation
' '           Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
','           Punctuation
' \n           ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
','           Punctuation
' '           Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'pre_sep'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_18'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
','           Punctuation
' '           Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'cond_20b'    Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_21'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_24'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_26'     Name.Variable
','           Punctuation
' \n           ' Text.Whitespace
'cond_27'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_29'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'mm602_OK'    Name.Variable
')'           Punctuation
'\n'          Text.Whitespace

'VAR'         Keyword.Declaration
'\n    '      Text.Whitespace
'step'        Name.Variable
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'1'           Literal.Number.Integer
','           Punctuation
'a1'          Name.Variable
','           Punctuation
'2'           Literal.Number.Integer
','           Punctuation
'3'           Literal.Number.Integer
','           Punctuation
'4'           Literal.Number.Integer
','           Punctuation
'5'           Literal.Number.Integer
','           Punctuation
'6'           Literal.Number.Integer
','           Punctuation
'7'           Literal.Number.Integer
','           Punctuation
'8'           Literal.Number.Integer
','           Punctuation
'9'           Literal.Number.Integer
','           Punctuation
'10'          Literal.Number.Integer
','           Punctuation
'11'          Literal.Number.Integer
','           Punctuation
'12'          Literal.Number.Integer
','           Punctuation
'13'          Literal.Number.Integer
','           Punctuation
'14'          Literal.Number.Integer
','           Punctuation
'15'          Literal.Number.Integer
','           Punctuation
'16'          Literal.Number.Integer
','           Punctuation
'17'          Literal.Number.Integer
','           Punctuation
'18'          Literal.Number.Integer
','           Punctuation
'19'          Literal.Number.Integer
','           Punctuation
'20'          Literal.Number.Integer
','           Punctuation
'\n           ' Text.Whitespace
'b20'         Name.Variable
','           Punctuation
' '           Text.Whitespace
'c20'         Name.Variable
','           Punctuation
' '           Text.Whitespace
'd20'         Name.Variable
','           Punctuation
' '           Text.Whitespace
'21'          Literal.Number.Integer
','           Punctuation
'22'          Literal.Number.Integer
','           Punctuation
'23'          Literal.Number.Integer
','           Punctuation
'24'          Literal.Number.Integer
','           Punctuation
'25'          Literal.Number.Integer
','           Punctuation
'26'          Literal.Number.Integer
','           Punctuation
'27'          Literal.Number.Integer
','           Punctuation
'28'          Literal.Number.Integer
','           Punctuation
'29'          Literal.Number.Integer
','           Punctuation
'exit'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'call_RTLS_abort_task' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'first3'      Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
' '           Text.Whitespace
'-- indicates if it is the first pass\n' Comment

'    '        Text.Whitespace
'first8'      Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'first27'     Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
's_unconv'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'mode_2_indicator' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'et_sep_man_initiate' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'emerg_sep'   Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cont_3eo_pr_delay' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'minus_z_reg1' Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg2' Name.Variable
','           Punctuation
' \n                ' Text.Whitespace
'minus_z_reg3' Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg4' Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg102' Name.Variable
','           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
','           Punctuation
' '           Text.Whitespace
'5'           Literal.Number.Integer
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'etsep_y_drift' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'undef'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg1' Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg2' Name.Variable
','           Punctuation
' \n                ' Text.Whitespace
'minus_z_reg3' Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg4' Name.Variable
','           Punctuation
' '           Text.Whitespace
'minus_z_reg102' Name.Variable
','           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'fwd_rcs_dump_enable' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'fcs_accept_icnct' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'orbiter_dump_ena' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'frz_3eo'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'high_rate_sep' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'entry_gains' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cont_sep_cplt' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'pch_cmd_reg4' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'alpha_ok'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
':'           Punctuation
'  '          Text.Whitespace
'{'           Punctuation
'reg-1'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg0'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg1'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg2'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg3'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg4'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg102'      Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'early_sep'   Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n'          Text.Whitespace

'--------------------------------------------\n' Comment

'----- Additional Variables -----------------\n' Comment

'--------------------------------------------\n' Comment

'    '        Text.Whitespace
'rtls_lo_f_d_delay' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'undef'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'wcb2'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'undef'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg1_0'      Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg2_neg4'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'wcb2_3eo'    Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg4_0'      Name.Variable
','           Punctuation
' \n            ' Text.Whitespace
'reg102_undef' Name.Variable
','           Punctuation
' '           Text.Whitespace
'post_sep_0'  Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'undef'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg1'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg2'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg3'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg4'   Name.Variable
','           Punctuation
' \n               ' Text.Whitespace
'quat_reg102_undef' Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_entry_M50_to_cmdbody' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'oms_nz_lim'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'undef'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'oms_nz_lim_3eo' Name.Variable
','           Punctuation
' '           Text.Whitespace
'oms_nz_lim_iload' Name.Variable
','           Punctuation
' '           Text.Whitespace
'oms_nz_lim_std' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'contingency_nz_lim' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'undef'       Name.Variable
','           Punctuation
' '           Text.Whitespace
'contingency_nz_lim_3eo' Name.Variable
','           Punctuation
' \n                   ' Text.Whitespace
'contingency_nz_lim_iload' Name.Variable
','           Punctuation
' '           Text.Whitespace
'contingency_nz_lim_std' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    \n\n\n' Text.Whitespace

'ASSIGN'      Keyword.Declaration
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'entry_gains' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'frz_3eo'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'cont_3eo_pr_delay' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'etsep_y_drift' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'r'           Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'reg-1'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'call_RTLS_abort_task' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'first3'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'first8'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'first27'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'cont_sep_cplt' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'et_sep_man_initiate' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'alpha_ok'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'pch_cmd_reg4' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n\n'        Text.Whitespace

'-- Assumed initializations:\n' Comment

'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'rtls_lo_f_d_delay' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'wcb2'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'q_gcb_i'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'oms_nz_lim'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'contingency_nz_lim' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'orbiter_dump_ena' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n'          Text.Whitespace

'-- init(early_sep) := FALSE;\n' Comment

'\n'          Text.Whitespace

'-------------\n' Comment

'\n '         Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'nextstep'    Name.Variable
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'r'           Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'a1'          Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'('           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'mode_select_completed' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'r0'          Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'21'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_21'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg4'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'23'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'high_rate_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg1'        Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'r'           Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'first3'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'3'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'first3'      Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'first8'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'excess_OMS_propellant' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'first8'      Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'first27'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'27'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
':'           Punctuation
' '           Text.Whitespace
'first27'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
's_unconv'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'3'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
's_unconv'    Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'call_RTLS_abort_task' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'3'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'call_RTLS_abort_task' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'mode_2_indicator' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'4'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'mode_2_indicator' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'et_sep_man_initiate' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'h_dot_LT_0'  Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'14'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'19'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'd20'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'26'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_26'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'29'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_29'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'et_sep_man_initiate' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'emerg_sep'   Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'h_dot_LT_0'  Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
'  '          Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'emerg_sep'   Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cont_3eo_pr_delay' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'5'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'h_dot_LT_0'  Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' \n                                                              ' Text.Whitespace
'minus_z_reg3' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'7'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'cont_minus_z_compl' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n        ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n        '  Text.Whitespace
'('           Punctuation
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'14'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg102' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'19'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg4' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'd20'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg3' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'26'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_26'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg2' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'27'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'first27'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg1' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cont_3eo_pr_delay' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'etsep_y_drift' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'h_dot_LT_0'  Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' \n                                                              ' Text.Whitespace
'minus_z_reg3' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'7'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'cont_minus_z_compl' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n        ' Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n        '  Text.Whitespace
'('           Punctuation
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'14'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg102' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'19'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg4' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'd20'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg3' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'26'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_26'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg2' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'27'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'first27'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'minus_z_reg1' Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'etsep_y_drift' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'fwd_rcs_dump_enable' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'excess_OMS_propellant' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'first8'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'fwd_rcs_dump_enable' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'fcs_accept_icnct' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'fcs_accept_icnct' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n'          Text.Whitespace

'--     next(step) = 1 & oms_rcs_i_c_inh_ena_cmd : {0,1};\n' Comment

'     '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
' '           Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'orbiter_dump_ena' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'                      ' Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'13'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'orbiter_dump_ena' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'frz_3eo'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'rcs_all_jet_inhibit' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'28'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'et_sep_man_initiate' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'frz_3eo'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'high_rate_sep' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'rcs_all_jet_inhibit' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'25'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'high_rate_sep' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'entry_gains' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'rcs_all_jet_inhibit' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'entry_gains' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cont_sep_cplt' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'12'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'mm602_OK'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cont_sep_cplt' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'pch_cmd_reg4' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'18'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'pch_cmd_reg4' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_18'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'pch_cmd_reg4' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'alpha_ok'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'20'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'alpha_ok'    Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'early_sep'   Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'27'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'first27'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' \n                 ' Text.Whitespace
'case'        Keyword
' \n                   ' Text.Whitespace
'cond_27'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
' \n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
' \n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'early_sep'   Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
' \n\n'       Text.Whitespace

'--------------------------------------------\n' Comment

'----- Additional Variables -----------------\n' Comment

'--------------------------------------------\n' Comment

'\n '         Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'rtls_lo_f_d_delay' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'          '  Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'first8'      Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'excess_OMS_propellant' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'rtls_lo_f_d_delay' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'wcb2'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'          '  Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'post_sep_0'  Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'12'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                   ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg4_0'      Name.Variable
';'           Punctuation
'\n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'wcb2_3eo'    Name.Variable
';'           Punctuation
'\n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'14'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg102_undef' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'15'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                   ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg4_0'      Name.Variable
';'           Punctuation
'\n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'wcb2_3eo'    Name.Variable
';'           Punctuation
'\n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'25'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'reg2_neg4'   Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'wcb2'        Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'q_gcb_i'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'          '  Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'11'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'quat_entry_M50_to_cmdbody' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'14'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'quat_reg102_undef' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'16'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
' \n                   ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'quat_reg4'   Name.Variable
';'           Punctuation
'\n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'quat_reg3'   Name.Variable
';'           Punctuation
'\n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'22'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'quat_reg2'   Name.Variable
';'           Punctuation
'\n\n'        Text.Whitespace

'-- Without this step the value "quat_reg2" would remain in "reg1":\n' Comment

'--     step = 23  & ABS_beta_n_GRT_beta_max & !high_rate_sep : undef;\n' Comment

' \n     '    Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_gcb_i'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'oms_nz_lim'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'          '  Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'oms_nz_lim_3eo' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'12'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'mm602_OK'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'oms_nz_lim_std' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'oms_nz_lim'  Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'contingency_nz_lim' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'          '  Text.Whitespace
'-- Assumed initialization\n' Comment

'     '       Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' \n                                        ' Text.Whitespace
'contingency_nz_lim_3eo' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'12'          Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'mm602_OK'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'contingency_nz_lim_std' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'contingency_nz_lim' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n'        Text.Whitespace

'DEFINE'      Keyword.Declaration
'\n '         Text.Whitespace
'finished'    Name.Variable
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n '         Text.Whitespace
'idle'        Name.Variable
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n\n '       Text.Whitespace
'start_cont_3eo_mode_select' Name.Variable
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n  '      Text.Whitespace
'nextstep'    Name.Variable
' '           Text.Whitespace
':='          Operator
'\n    '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'a1'          Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'a1'          Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                   ' Text.Whitespace
'('           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'mode_select_completed' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'2'           Literal.Number.Integer
';'           Punctuation
'\n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'step'        Name.Variable
';'           Punctuation
'\n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'2'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
' \n                  ' Text.Whitespace
'!'           Operator
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                  ' Text.Whitespace
'first3'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'3'           Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
':'           Punctuation
' '           Text.Whitespace
'4'           Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'3'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'4'           Literal.Number.Integer
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'4'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'et_sep_cmd'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'7'           Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'5'           Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'h_dot_LT_0'  Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                                          ' Text.Whitespace
'm_mode'      Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'6'           Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'6'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' \n         ' Text.Whitespace
'case'        Keyword
'\n           ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'13'          Literal.Number.Integer
';'           Punctuation
'\n           ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg3'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg4'        Name.Variable
'}'           Punctuation
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'15'          Literal.Number.Integer
';'           Punctuation
'\n           ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg2'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'22'          Literal.Number.Integer
';'           Punctuation
'\n           ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg1'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'27'          Literal.Number.Integer
';'           Punctuation
'\n           ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n         ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'7'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'8'           Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'8'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'first8'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'9'           Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'10'          Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n     '     Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'9'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'10'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'!'           Operator
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'11'          Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'11'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'12'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'12'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'13'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'14'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'14'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'15'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'16'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'16'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'17'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'17'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'18'          Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'20'          Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'18'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'pch_cmd_reg4' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cond_18'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'19'          Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'19'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'20'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'b20'         Name.Variable
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'c20'         Name.Variable
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'b20'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                   ' Text.Whitespace
'cond_20b'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'd20'         Name.Variable
';'           Punctuation
'\n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'c20'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                   ' Text.Whitespace
'alpha_ok'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'd20'         Name.Variable
';'           Punctuation
'\n                   ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'21'          Literal.Number.Integer
';'           Punctuation
'\n                 ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'd20'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'nextstep21'  Name.Variable
';'           Punctuation
'\n  '        Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'nextstep21'  Name.Variable
' '           Text.Whitespace
':='          Operator
'\n  '        Text.Whitespace
'case'        Keyword
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'21'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'cond_21'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'15'          Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'22'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'23'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'23'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'high_rate_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'27'          Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'24'          Literal.Number.Integer
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'24'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'cond_24'     Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'high_rate_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'25'          Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'25'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'26'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'26'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'27'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'28'          Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'28'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'case'        Keyword
'\n                  ' Text.Whitespace
'!'           Operator
'et_sep_man_initiate' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'29'          Literal.Number.Integer
';'           Punctuation
'\n                  ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n                ' Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'29'          Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'exit'        Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'start'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'1'           Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'exit'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n    '      Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'step'        Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'post_sep_mode' Name.Variable
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'step'        Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'7'           Literal.Number.Integer
','           Punctuation
'8'           Literal.Number.Integer
','           Punctuation
'9'           Literal.Number.Integer
','           Punctuation
'10'          Literal.Number.Integer
','           Punctuation
'11'          Literal.Number.Integer
','           Punctuation
'12'          Literal.Number.Integer
'}'           Punctuation
';'           Punctuation
'\n\n'        Text.Whitespace

'------------------------------------------------------------------\n' Comment

'------------------------------------------------------------------\n' Comment

'\n'          Text.Whitespace

'MODULE'      Keyword.Declaration
' '           Text.Whitespace
'main'        Name.Variable
'\n'          Text.Whitespace

'VAR'         Keyword.Declaration
'\n    '      Text.Whitespace
'smode5'      Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'GRT_vi_3eo_max' Name.Variable
','           Punctuation
' '           Text.Whitespace
'GRT_vi_3eo_min' Name.Variable
','           Punctuation
' '           Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'q_bar'       Name.Variable
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'GRT_qbar_reg3' Name.Variable
','           Punctuation
' '           Text.Whitespace
'GRT_qbar_reg1' Name.Variable
','           Punctuation
' '           Text.Whitespace
'LEQ_qbar_reg1' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n    '      Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'h_dot_LT_0'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'meco_confirmed' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'et_sep_cmd'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cont_minus_z_compl' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'excess_OMS_propellant' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_18'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'q_orb_LT_0'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_20b'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_21'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_24'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_26'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_27'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'cond_29'     Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'mm602_OK'    Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'start_guide' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n    '      Text.Whitespace
'mated_coast_mnvr' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'boolean'     Keyword.Type
';'           Punctuation
'\n\n    '    Text.Whitespace
'cs'          Name.Variable
':'           Punctuation
' '           Text.Whitespace
'cont_3eo_mode_select' Name.Variable
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'start_cont_3eo_mode_select' Name.Variable
','           Punctuation
'\n                        ' Text.Whitespace
'smode5'      Name.Variable
','           Punctuation
'vel'         Name.Variable
','           Punctuation
'q_bar'       Name.Variable
','           Punctuation
'apogee_alt_LT_alt_ref' Name.Variable
','           Punctuation
'\n                         ' Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
','           Punctuation
'alpha_n_GRT_alpha_reg2' Name.Variable
','           Punctuation
'\n                         ' Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
','           Punctuation
'v_horiz_dnrng_LT_0' Name.Variable
','           Punctuation
'\n                         ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'high_rate_sep' Name.Variable
','           Punctuation
'meco_confirmed' Name.Variable
')'           Punctuation
';'           Punctuation
'\n\n    '    Text.Whitespace
'cg'          Name.Variable
':'           Punctuation
' '           Text.Whitespace
'cont_3eo_guide' Name.Variable
'('           Punctuation
'start_guide' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
','           Punctuation
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
','           Punctuation
' '           Text.Whitespace
'et_sep_cmd'  Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'h_dot_LT_0'  Name.Variable
','           Punctuation
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
','           Punctuation
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
','           Punctuation
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'cont_minus_z_compl' Name.Variable
','           Punctuation
' '           Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
','           Punctuation
' \n           ' Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
','           Punctuation
' '           Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'excess_OMS_propellant' Name.Variable
','           Punctuation
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'entry_mnvr_couter_LE_0' Name.Variable
','           Punctuation
' '           Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
','           Punctuation
' \n           ' Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
','           Punctuation
' '           Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'pre_sep'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_18'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
','           Punctuation
' '           Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
','           Punctuation
'\n           ' Text.Whitespace
'cond_20b'    Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_21'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_24'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_26'     Name.Variable
','           Punctuation
' \n           ' Text.Whitespace
'cond_27'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'cond_29'     Name.Variable
','           Punctuation
' '           Text.Whitespace
'mm602_OK'    Name.Variable
')'           Punctuation
';'           Punctuation
'\n\n'        Text.Whitespace

'ASSIGN'      Keyword.Declaration
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'start_guide' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n '         Text.Whitespace
'init'        Name.Builtin
'('           Punctuation
'mated_coast_mnvr' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'entry_mnvr_couter_LE_0' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n    '     Text.Whitespace
'case'        Keyword
'\n      '    Text.Whitespace
'!'           Operator
'entry_mnvr_couter_LE_0' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
'}'           Punctuation
';'           Punctuation
'\n      '    Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n    '      Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n'        Text.Whitespace

'---------------------------------------------------------------------\n' Comment

'---------------------------------------------------------------------\n' Comment

' '           Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'start_guide' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'start_guide' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
'  '          Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
'}'           Punctuation
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'smode5'      Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'smode5'      Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'smode5'      Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'vel'         Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
'  '          Text.Whitespace
'vel'         Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'GRT_vi_3eo_max' Name.Variable
','           Punctuation
' '           Text.Whitespace
'GRT_vi_3eo_min' Name.Variable
','           Punctuation
' '           Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'vel'         Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'q_bar'       Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_bar'       Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
'GRT_qbar_reg3' Name.Variable
','           Punctuation
' '           Text.Whitespace
'GRT_qbar_reg1' Name.Variable
','           Punctuation
' '           Text.Whitespace
'LEQ_qbar_reg1' Name.Variable
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_bar'       Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'q_bar_a_GRT_qbar_max_sep' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_bar_a_GRT_qbar_max_sep' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'apogee_alt_LT_alt_ref' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'h_dot_LT_hdot_reg2' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'h_dot_LT_hdot_reg2' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'h_dot_LT_0'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
'  '          Text.Whitespace
'h_dot_LT_0'  Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'h_dot_LT_0'  Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'alpha_n_GRT_alpha_reg2' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'  \n   '     Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'alpha_n_GRT_alpha_reg2' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'delta_r_GRT_del_r_usp' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'   \n   '    Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'delta_r_GRT_del_r_usp' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'v_horiz_dnrng_LT_0' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'   \n   '    Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'v_horiz_dnrng_LT_0' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'meco_confirmed' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'meco_confirmed' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'meco_confirmed' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'et_sep_cmd'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'et_sep_cmd'  Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'et_sep_cmd'  Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'et_sep_cmd'  Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cont_minus_z_compl' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cont_minus_z_compl' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cont_minus_z_compl' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
' \n   '      Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
't_nav-t_et_sep_GRT_dt_min_z_102' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_q_orb_GRT_q_minus_z_max' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_r_orb_GRT_r_minus_z_max' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'excess_OMS_propellant' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'excess_OMS_propellant' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'excess_OMS_propellant' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'excess_OMS_propellant' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'q_bar_a_LT_qbar_oms_dump' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_bar_a_LT_qbar_oms_dump' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'rcs_all_jet_inhibit' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'alt_GRT_alt_min_102_dump' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'alt_GRT_alt_min_102_dump' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
't_nav-t_gmtlo_LT_t_dmp_last' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'pre_sep'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'pre_sep'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'pre_sep'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_18'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_18'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_18'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'q_orb_LT_0'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'ABS_alf_err_LT_alf_sep_err' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_alf_err_LT_alf_sep_err' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_20b'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_20b'    Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_20b'    Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_21'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_21'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_21'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'ABS_beta_n_GRT_beta_max' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'ABS_beta_n_GRT_beta_max' Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_24'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_24'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_24'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_26'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_26'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_26'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_27'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_27'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_27'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cond_29'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_29'     Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'cond_29'     Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'mm602_OK'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'mm602_OK'    Name.Variable
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'{'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
','           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
'}'           Punctuation
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
'  '          Text.Whitespace
'mm602_OK'    Name.Variable
';'           Punctuation
'\n   '       Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n '       Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'mated_coast_mnvr' Name.Variable
')'           Punctuation
' '           Text.Whitespace
':='          Operator
'\n   '       Text.Whitespace
'case'        Keyword
'\n     '     Text.Whitespace
'next'        Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'step'        Name.Variable
')'           Punctuation
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'1'           Literal.Number.Integer
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'6'           Literal.Number.Integer
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg1'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg2'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg3'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg4'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg102'      Name.Variable
'}'           Punctuation
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'TRUE'        Keyword.Constant
';'           Punctuation
'\n     '     Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'mated_coast_mnvr' Name.Variable
';'           Punctuation
' \n   '      Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n'        Text.Whitespace

'---------------------------------------------------------------------\n' Comment

'---------------------------------------------------------------------\n' Comment

'DEFINE'      Keyword.Declaration
'\n  '        Text.Whitespace
'fixed_values' Name.Variable
' '           Text.Whitespace
':='          Operator
' '           Text.Whitespace
'FALSE'       Keyword.Constant
';'           Punctuation
'\n\n  '      Text.Whitespace
'output_ok'   Name.Variable
' '           Text.Whitespace
':='          Operator
'\n    '      Text.Whitespace
'case'        Keyword
'\n      '    Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'wcb2'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
' '           Text.Whitespace
'|'           Operator
' \n      '   Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'cont_3eo_pr_delay' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'5'           Literal.Number.Integer
' '           Text.Whitespace
'|'           Operator
' \n      '   Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'etsep_y_drift' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
' '           Text.Whitespace
':'           Punctuation
'\n        '  Text.Whitespace
'case'        Keyword
'\n          ' Text.Whitespace
'!'           Operator
'mated_coast_mnvr' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'1'           Literal.Number.Integer
';'           Punctuation
'\n          ' Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
';'           Punctuation
'\n        '  Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n      '    Text.Whitespace
'!'           Operator
'mated_coast_mnvr' Name.Variable
':'           Punctuation
' '           Text.Whitespace
'toint'       Name.Variable
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'quat_entry_M50_to_cmdbody' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                         ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'wcb2'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'post_sep_0'  Name.Variable
')'           Punctuation
';'           Punctuation
' \n'         Text.Whitespace

'-- reg1 never happens?\n' Comment

'--      cg.r = reg1 : (cg.q_gcb_i = quat_reg1 & cg.wcb2 = reg1_0 &\n' Comment

'--                   cg.cont_3eo_pr_delay = minus_z_reg1 &\n' Comment

'--                    cg.etsep_y_drift = minus_z_reg1) | cg.emerg_sep;\n' Comment

'      '      Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg2'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'toint'       Name.Variable
'('           Punctuation
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'quat_reg2'   Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'wcb2'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg2_neg4'   Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'cont_3eo_pr_delay' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg2' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'etsep_y_drift' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg2' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
')'           Punctuation
';'           Punctuation
'\n\n      '  Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg3'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'toint'       Name.Variable
'('           Punctuation
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'quat_reg3'   Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'wcb2'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'wcb2_3eo'    Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'cont_3eo_pr_delay' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg3' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'etsep_y_drift' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg3' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
')'           Punctuation
';'           Punctuation
'\n      '    Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'toint'       Name.Variable
'('           Punctuation
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'quat_reg4'   Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'wcb2'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4_0'      Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'cont_3eo_pr_delay' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg4' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'etsep_y_drift' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg4' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
')'           Punctuation
';'           Punctuation
'\n      '    Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'toint'       Name.Variable
'('           Punctuation
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'quat_reg102_undef' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                       ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'wcb2'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102_undef' Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n                       ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'cont_3eo_pr_delay' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg102' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                       ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'etsep_y_drift' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'minus_z_reg102' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
')'           Punctuation
';'           Punctuation
'\n      '    Text.Whitespace
'TRUE'        Keyword.Constant
' '           Text.Whitespace
':'           Punctuation
' '           Text.Whitespace
'0'           Literal.Number.Integer
';'           Punctuation
'\n    '      Text.Whitespace
'esac'        Keyword
';'           Punctuation
'\n\n'        Text.Whitespace

'---------------------------------------------------------------------\n' Comment

'-------- Specifications ---------------------------------------------\n' Comment

'---------------------------------------------------------------------\n' Comment

'\n'          Text.Whitespace

'-- Contingency Guide terminates\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'AF'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Contingency guide can be executed infinitely often\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
' '           Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n  '       Text.Whitespace
'EF'          Operator.Word
'('           Punctuation
'!'           Operator
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'EF'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
')'           Punctuation
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Contingency mode select task works fine\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n         ' Text.Whitespace
'('           Punctuation
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n                       ' Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg-1'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg0'        Name.Variable
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Bad (initial) value never happens again once region is computed\n' Comment

'-- unless we restart the task\n' Comment

'\n'          Text.Whitespace

'--SPEC AG(cs.r != reg-1 -> !E[!cg.start_cont_3eo_mode_select U \n' Comment

'--               cs.r = reg-1 & !cg.start_cont_3eo_mode_select])\n' Comment

'\n'          Text.Whitespace

'-- Comment out each of the regions and see if this is still true\n' Comment

'-- (Check, if ALL of the regions can happen)\n' Comment

'\n'          Text.Whitespace

'--SPEC AG(cs.r in {reg-1\n' Comment

'--                 ,reg0\n' Comment

'--                 ,reg1\n' Comment

'--                 ,reg2\n' Comment

'--                 ,reg3\n' Comment

'--                 ,reg102\n' Comment

'--                 })\n' Comment

'\n'          Text.Whitespace

'-- Comment out each of the regions and see if this is still true\n' Comment

'-- (Check, if ALL of the regions can happen)\n' Comment

'\n'          Text.Whitespace

'--SPEC AG(cg.r in {reg-1\n' Comment

'--                 ,reg0\n' Comment

'--                 ,reg1\n' Comment

'--                 ,reg2\n' Comment

'--                 ,reg3\n' Comment

'--                 ,reg4\n' Comment

'--                 ,reg102\n' Comment

'--                 })\n' Comment

'\n'          Text.Whitespace

'-- Mode_select starts at the next step after its "start" bit is set:\n' Comment

'\n'          Text.Whitespace

'--SPEC AG(!cg.start_cont_3eo_mode_select -> \n' Comment

'--        AX(cg.start_cont_3eo_mode_select & cs.step in {exit, undef} -> \n' Comment

'--                 AX(cs.step = 1 & !cs.region_selected)))\n' Comment

'\n'          Text.Whitespace

'-- During major mode 103, the inertial velocity is monitored.\n' Comment

'-- Below an I-loaded velocity, a MECO would constitute a contingency\n' Comment

'-- abort. (Must NOT be in SMODE=5 (??))\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'start_cont_3eo_mode_select' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n        ' Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'LEQ_vi_3eo_min' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'smode5'      Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n            ' Text.Whitespace
'A'           Operator.Word
'['           Punctuation
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
']'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Above a certain inertial velocity (in mode 103), the 3E/O field\n' Comment

'-- is blanked, indicating that a MECO at this point would not require\n' Comment

'-- an OPS 6 contingency abort.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n         ' Text.Whitespace
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_vi_3eo_max' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Between the two velocities, an apogee altitude - velocity curve is \n' Comment

'-- constructed based on the current inertial velocity. If the apogee\n' Comment

'-- altitude is above this curve, a contingency abort capability is\n' Comment

'-- still required and a 3E/O region index will be calculated. \n' Comment

'-- Otherwise, the 3E/O field is blanked out and no further contingency\n' Comment

'-- abort calculations will be performed. (Must NOT be in SMODE=5 (??))\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'start_cont_3eo_mode_select' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n        ' Text.Whitespace
'vel'         Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'GRT_vi_3eo_min' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'smode5'      Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
'\n           ' Text.Whitespace
'A'           Operator.Word
'['           Punctuation
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n              ' Text.Whitespace
'apogee_alt_LT_alt_ref' Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
']'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- For an RTLS trajectory (SMODE=5), a check is made on the downrange\n' Comment

'-- velocity to see if the vehicle is heading away from the landing site.\n' Comment

'-- If this is the case, a 3E/O region index is calculated. If the vehicle\n' Comment

'-- is heading back to the landing site, and the current range to the MECO\n' Comment

'-- R-V line is greater than an I-loaded value, a 3E/O region index is\n' Comment

'-- calculated. Otherwise, an intact abort is possible and the 3E/O field\n' Comment

'-- is blanked.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'start_cont_3eo_mode_select' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'smode5'      Name.Variable
' '           Text.Whitespace
'&'           Operator
'  '          Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n        '  Text.Whitespace
'('           Punctuation
'!'           Operator
'v_horiz_dnrng_LT_0' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'!'           Operator
'delta_r_GRT_del_r_usp' Name.Variable
')'           Punctuation
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n          ' Text.Whitespace
'A'           Operator.Word
'['           Punctuation
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
']'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- If this task is called prior to SRB separation [mm102], the 3E/O region\n' Comment

'-- index is set to 102 and the 3E/O contingency flag is set.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'start_cont_3eo_mode_select' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n               ' Text.Whitespace
'AX'          Operator.Word
' '           Text.Whitespace
'('           Punctuation
'A'           Operator.Word
' '           Text.Whitespace
'['           Punctuation
' '           Text.Whitespace
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                                ' Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
']'           Punctuation
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- After SRB separation, on every pass that the 3E/O region index is\n' Comment

'-- calculated, a check is made to see if MECO confirmed has occured.  If\n' Comment

'-- so, a check is made to see if the major mode is 103. If so, an RTLS is\n' Comment

'-- automatically invoked to transition to major mode 601.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
'\n        '  Text.Whitespace
'A'           Operator.Word
'['           Punctuation
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg0'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n              ' Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm601'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'RTLS_abort_declared' Name.Variable
']'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Once the 3E/O contingency flag has been set, this task is no longer\n' Comment

'-- executed.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'start_cont_3eo_mode_select' Name.Variable
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- If MECO confirmed occurs in MM103 and an OPS 6 contingency abort\n' Comment

'-- procedure is still required, contingency 3E/O guidance sets the\n' Comment

'-- CONT_3EO_START flag ON. Contingency 3E/O guidance then switches\n' Comment

'-- from its display support function into an actual auto guidance\n' Comment

'-- steering process. [...] Contingency 3E/O guidance sets the RTLS abort\n' Comment

'-- declared flag and the MSC performs the transition from from major mode\n' Comment

'-- 103 to 601.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'idle'        Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm103'       Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n       '  Text.Whitespace
'A'           Operator.Word
'['           Punctuation
' '           Text.Whitespace
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'region_selected' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n           ' Text.Whitespace
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm601'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'RTLS_abort_declared' Name.Variable
')'           Punctuation
' '           Text.Whitespace
']'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- If MECO confirmed occurs in a major mode 601 and a contingency abort\n' Comment

'-- procedure is still required, contingency 3E/O guidance sets the\n' Comment

'-- CONT_3EO_START flag ON. [...] Contingency 3E/O guidance then commands\n' Comment

'-- 3E/O auto maneuvers in major mode 601. [What are these maneuvers??]\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm601'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'!'           Operator
'et_sep_cmd'  Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n         ' Text.Whitespace
'meco_confirmed' Name.Variable
'  '          Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n           ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'quat_reg1'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg2'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg3'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'quat_reg4'   Name.Variable
','           Punctuation
' '           Text.Whitespace
'undef'       Name.Variable
'}'           Punctuation
'\n           ' Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
')'           Punctuation
'\n\n'        Text.Whitespace

'-- If MECO confirmed occurs in a first stage (MM102) [...], contingency\n' Comment

'-- 3E/O guidance will command a fast ET separation during SRB tailoff in\n' Comment

'-- major mode 102. CONT 3E/O GUID will then command maneuver post-sep in\n' Comment

"-- MM601 (???). [ I'm not sure what indicates fast ET sep.: emerg_sep or\n" Comment

'-- early_sep, or what? ]\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm102'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'meco_confirmed' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
'\n                                    ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'et_sep_cmd'  Name.Variable
'\n                                     ' Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'et_sep_man_initiate' Name.Variable
'\n                                     ' Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'early_sep'   Name.Variable
'\n                                                       ' Text.Whitespace
')'           Punctuation
'\n\n'        Text.Whitespace

'---------------------------------------------\n' Comment

'-- Invariants from Murphi code --------------\n' Comment

'---------------------------------------------\n' Comment

'\n'          Text.Whitespace

'--SPEC AG(cg.finished -> (output_ok != 0 | (output_ok = undef & \n' Comment

'--                          (cg.emerg_sep | !cg.cont_sep_cplt))))\n' Comment

'\n'          Text.Whitespace

'--SPEC AG(!cg.finished & !cg.idle -> !mated_coast_mnvr | !et_sep_cmd)\n' Comment

'\n'          Text.Whitespace

'-- Stronger version !!!\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'output_ok'   Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'0'           Literal.Number.Integer
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Contingency Guidance shall command an ET separation \n' Comment

'-- [under certain conditions :-].\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n           ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg1'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_29'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
' \n           ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg2'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_24'     Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_26'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n           ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg3'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'alpha_ok'    Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n               ' Text.Whitespace
'('           Punctuation
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_20b'    Name.Variable
')'           Punctuation
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n           ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_18'     Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n           ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
'-'           Operator
'>'           Operator
'\n                     ' Text.Whitespace
'et_sep_cmd'  Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'et_sep_man_initiate' Name.Variable
'\n                     ' Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'early_sep'   Name.Variable
' \n                     ' Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'emerg_sep'   Name.Variable
'\n                                      ' Text.Whitespace
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Contingency Guidance shall command at most one interconnected OMS dump.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n        ' Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'!'           Operator
'cg'          Name.Variable
'.'           Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
')'           Punctuation
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Contingency Guidance shall command a transition to glide RTLS\n' Comment

'-- (flight mode 602)\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'm_mode'      Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'mm601'       Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n                 ' Text.Whitespace
'--cg.cont_sep_cplt | cg.emerg_sep |\n' Comment

'                                ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'call_RTLS_abort_task' Name.Variable
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Paper, p. 28, unstated assumption 2: at step 6 the region is\n' Comment

'-- among 102, 1-4.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'6'           Literal.Number.Integer
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg102'      Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg1'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg2'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg3'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg4'        Name.Variable
'}'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- The transition to mode 602 shall not occur until the entry maneuver\n' Comment

'-- has been calculated\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'!'           Operator
'E'           Operator.Word
'['           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'cont_sep_cplt' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
']'           Punctuation
'\n\n'        Text.Whitespace

'-- The entry maneuver calculations shall not commence until the OMS/RCS\n' Comment

'-- interconnect, if any, is complete (??? What does it exactly mean???)\n' Comment

'-- !!!\n'    Comment

'--SPEC AG(cg.oms_rcs_i_c_inh_ena_cmd -> \n' Comment

'--          !E[cg.oms_rcs_i_c_inh_ena_cmd U \n' Comment

'--              cg.q_gcb_i != undef & cg.oms_rcs_i_c_inh_ena_cmd])\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'oms_rcs_i_c_inh_ena_cmd' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n          ' Text.Whitespace
'!'           Operator
'E'           Operator.Word
'['           Punctuation
'rcs_all_jet_inhibit' Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' \n              ' Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'q_gcb_i'     Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'undef'       Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'rcs_all_jet_inhibit' Name.Variable
']'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- The OMS dump shall not be considered until the -Z translation is complete.\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'!'           Operator
'E'           Operator.Word
'['           Punctuation
'!'           Operator
'cont_minus_z_compl' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'!'           Operator
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'orbiter_dump_ena' Name.Variable
']'           Punctuation
'\n\n'        Text.Whitespace

'-- Completion of -Z translation shall not be checked until ET separation\n' Comment

'-- has been commanded\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'!'           Operator
'E'           Operator.Word
'['           Punctuation
'!'           Operator
'et_sep_cmd'  Name.Variable
' '           Text.Whitespace
'U'           Operator.Word
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'step'        Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'7'           Literal.Number.Integer
']'           Punctuation
'\n\n'        Text.Whitespace

'-- ET separation shall be commanded if and only if an abort maneuver\n' Comment

'-- region is assigned [and again there are *certain conditions*].\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'&'           Operator
' \n                  ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg1'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_29'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
' \n                  ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg2'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_24'     Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cond_26'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n                  ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg3'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'alpha_ok'    Name.Variable
' '           Text.Whitespace
'&'           Operator
'\n                     ' Text.Whitespace
'('           Punctuation
'ABS_alf_err_LT_alf_sep_err' Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_20b'    Name.Variable
')'           Punctuation
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n                  ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg4'        Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cond_18'     Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'q_orb_LT_0'  Name.Variable
')'           Punctuation
' '           Text.Whitespace
'&'           Operator
'\n                  ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'pre_sep'     Name.Variable
')'           Punctuation
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n          ' Text.Whitespace
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'et_sep_man_initiate' Name.Variable
' '           Text.Whitespace
'|'           Operator
' '           Text.Whitespace
'et_sep_cmd'  Name.Variable
'\n                 ' Text.Whitespace
'<'           Operator
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg1'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg2'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg3'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg4'        Name.Variable
','           Punctuation
' '           Text.Whitespace
'reg102'      Name.Variable
'}'           Punctuation
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- The assigned region can not change arbitrarily.\n' Comment

'\n'          Text.Whitespace

'-- Regions 1 and 2 may interchange, but will not switch to any other region:\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg1'        Name.Variable
','           Punctuation
'reg2'        Name.Variable
'}'           Punctuation
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n                                ' Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg1'        Name.Variable
','           Punctuation
'reg2'        Name.Variable
'}'           Punctuation
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Regions 3 and 4 may interchange, but will not switch to any other region:\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cs'          Name.Variable
'.'           Punctuation
'cont_3EO_start' Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg3'        Name.Variable
','           Punctuation
'reg4'        Name.Variable
'}'           Punctuation
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' \n         ' Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'in'          Operator.Word
' '           Text.Whitespace
'{'           Punctuation
'reg3'        Name.Variable
','           Punctuation
'reg4'        Name.Variable
'}'           Punctuation
')'           Punctuation
')'           Punctuation
'\n\n'        Text.Whitespace

'-- Region 102 never changes:\n' Comment

'\n'          Text.Whitespace

'SPEC'        Keyword.Declaration
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'&'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'AG'          Operator.Word
'('           Punctuation
'cg'          Name.Variable
'.'           Punctuation
'finished'    Name.Variable
' '           Text.Whitespace
'-'           Operator
'>'           Operator
' '           Text.Whitespace
'cg'          Name.Variable
'.'           Punctuation
'r'           Name.Variable
' '           Text.Whitespace
'='           Operator
' '           Text.Whitespace
'reg102'      Name.Variable
')'           Punctuation
')'           Punctuation
'\n'          Text.Whitespace
