'--\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