#define prints(s) prints_((const char *) s)
void slow_print_(integer s);
#define slow_print(s) slow_print_((integer) (s))
-void print_nl(const char * s);
-void print_esc(const char * s);
+void print_nl (const char * s);
+void print_esc (const char * s);
void print_the_digs_(eight_bits k);
#define print_the_digs(k) print_the_digs_((eight_bits) (k))
void print_int_(integer n);
#define print_size(s) print_size_((integer) (s))
void print_write_whatsit_(const char * s, pointer p);
#define print_write_whatsit(s, p) print_write_whatsit_((const char *) (s), (pointer) (p))
-void jump_out(void);
-void error(void);
-void fatal_error(const char * s);
+void jump_out (void);
+void error (void);
+void fatal_error (const char * s);
void overflow_(const char * s, integer n);
#define overflow(s, n) overflow_((const char *) (s), (integer) (n))
-void confusion_(const char * s);
-#define confusion(s) confusion_((const char *) (s))
-boolean init_terminal(void);
-str_number make_string(void);
+void confusion (const char * s);
+boolean init_terminal (void);
+str_number make_string (void);
boolean str_eq_buf_(str_number s, integer k);
#define str_eq_buf(s, k) str_eq_buf_((str_number) (s), (integer) (k))
boolean str_eq_str_(str_number s, str_number t);
#define print_hex(n) print_hex_((integer) (n))
void print_roman_int_(integer n);
#define print_roman_int(n) print_roman_int_((integer) (n))
-void print_current_string(void);
-void term_input(void);
+void print_current_string (void);
+void term_input (void);
void int_error_(integer n);
#define int_error(n) int_error_((integer) (n))
-void normalize_selector(void);
-void pause_for_instructions(void);
+void normalize_selector (void);
+void pause_for_instructions (void);
integer half_(integer x);
#define half(x) half_((integer) (x))
scaled round_decimals_(small_number k);
#define print_word(w) print_word_((w))
void show_token_list_(integer p, integer q, integer l);
#define show_token_list(p, q, l) show_token_list_((integer) (p), (integer) (q), (integer) (l))
-void runaway(void);
-pointer get_avail(void);
+void runaway (void);
+pointer get_avail (void);
void flush_list_(pointer p);
#define flush_list(p) flush_list_((pointer) (p))
pointer get_node_(integer s);
#define get_node(s) get_node_((integer) (s))
void free_node_(pointer p, halfword s);
#define free_node(p, s) free_node_((pointer) (p), (halfword) (s))
-void sort_avail(void);
-pointer new_null_box(void);
-pointer new_rule(void);
+void sort_avail (void);
+pointer new_null_box (void);
+pointer new_rule (void);
pointer new_ligature_(quarterword f, quarterword c, pointer q);
#define new_ligature(f, c, q) new_ligature_((quarterword) (f), (quarterword) (c), (pointer) (q))
pointer new_lig_item_(quarterword c);
#define new_lig_item(c) new_lig_item_((quarterword) (c))
-pointer new_disc(void);
-pointer new_math_(scaled w, small_number s);
-#define new_math(w, s) new_math_((scaled) (w), (small_number) (s))
+pointer new_disc (void);
+pointer new_math (scaled w, small_number s);
pointer new_spec_(pointer p);
#define new_spec(p) new_spec_((pointer) (p))
-pointer new_param_glue_(small_number n);
-#define new_param_glue(n) new_param_glue_((small_number) (n))
-pointer new_glue_(pointer q);
-#define new_glue(q) new_glue_((pointer) (q))
-pointer new_skip_param_(small_number n);
-#define new_skip_param(n) new_skip_param_((small_number) (n))
-pointer new_kern(scaled w);
-pointer new_penalty(integer m);
-void check_mem(boolean print_locs);
-void search_mem_(halfword);
-#define search_mem(p) search_mem_((halfword) (p))
-void short_display_(integer);
+pointer new_param_glue (small_number n);
+pointer new_glue (pointer q);
+pointer new_skip_param (small_number n);
+pointer new_kern (scaled w);
+pointer new_penalty (integer m);
+void check_mem (boolean print_locs);
+void search_mem_(pointer p);
+#define search_mem(p) search_mem_((pointer) (p))
+void short_display_(integer p);
#define short_display(p) short_display_((integer) (p))
-void print_font_and_char(integer);
+void print_font_and_char(integer p);
void print_mark_(integer p);
#define print_mark(p) print_mark_((integer) (p))
-void print_rule_dimen(scaled d);
+void print_rule_dimen (scaled d);
void print_glue_(scaled d, integer order, const char * s);
#define print_glue(d, order, s) print_glue_((scaled) (d), (integer) (order), (const char *) (s))
void print_spec_(integer p, const char * s);
#define copy_node_list(p) copy_node_list_((pointer) (p))
void print_mode_(integer m);
#define print_mode(m) print_mode_((integer) (m))
-void push_nest(void);
-void pop_nest(void);
-void show_activities(void);
+void push_nest (void);
+void pop_nest (void);
+void show_activities (void);
void print_param_(integer n);
#define print_param(n) print_param_((integer) (n))
-void begin_diagnostic(void);
-void end_diagnostic_(boolean blank_line);
-#define end_diagnostic(blank_line) end_diagnostic_((boolean) (blank_line))
+void begin_diagnostic (void);
+void end_diagnostic (boolean blank_line);
void print_length_param_(integer n);
#define print_length_param(n) print_length_param_((integer) (n))
void print_cmd_chr_(quarterword cmd, halfword chr_code);
#define print_cmd_chr(cmd, chr_code) print_cmd_chr_((quarterword) (cmd), (halfword) (chr_code))
-void show_eqtb_(halfword n);
-#define show_eqtb(n) show_eqtb_((halfword) (n))
-halfword id_lookup_(integer j, integer l);
+void show_eqtb (pointer n);
+pointer id_lookup_(integer j, integer l);
#define id_lookup(j, l) id_lookup_((integer) (j), (integer) (l))
void primitive_(str_number s, quarterword c, halfword o);
#define primitive(s, c, o) primitive_(make_string_pool((const char *) s), (quarterword) (c), (halfword) (o))
-void new_save_level_(group_code c);
-#define new_save_level(c) new_save_level_((group_code) (c))
-void eq_destroy_(memory_word w);
-#define eq_destroy(w) eq_destroy_((w))
-void eq_save_(pointer p, quarterword l);
-#define eq_save(p, l) eq_save_((pointer) (p), (quarterword) (l))
+void new_save_level (group_code c);
+void eq_destroy (memory_word w);
+void eq_save (pointer p, quarterword l);
void eq_define_(pointer p, quarterword t, halfword e);
#define eq_define(p, t, e) eq_define_((pointer) (p), (quarterword) (t), (halfword) (e))
void eq_word_define_(pointer p, integer w);
#define geq_define(p, t, e) geq_define_((pointer) (p), (quarterword) (t), (halfword) (e))
void geq_word_define_(pointer p, integer w);
#define geq_word_define(p, w) geq_word_define_((pointer) (p), (integer) (w))
-void save_for_after_(halfword t);
-#define save_for_after(t) save_for_after_((halfword) (t))
-void restore_trace_(pointer p, const char * s);
-#define restore_trace(p, s) restore_trace_((pointer) (p), (const char *) (s))
-void unsave(void);
-void prepare_mag(void);
-void token_show_(pointer p);
-#define token_show(p) token_show_((pointer) (p))
-void print_meaning(void);
-void show_cur_cmd_chr(void);
-void show_context(void);
+void save_for_after (halfword t);
+void restore_trace (pointer p, const char * s);
+void unsave (void);
+void prepare_mag (void);
+void token_show (pointer p);
+void print_meaning (void);
+void show_cur_cmd_chr (void);
+void show_context (void);
void begin_token_list_(pointer p, quarterword t);
#define begin_token_list(p, t) begin_token_list_((pointer) (p), (quarterword) (t))
-void end_token_list(void);
-void back_input(void);
-void back_error(void);
-void ins_error(void);
-void begin_file_reading(void);
-void end_file_reading(void);
-void clear_for_error_prompt(void);
-void check_outer_validity(void);
-void get_next(void);
-void firm_up_the_line(void);
-void get_token(void);
-void macro_call(void);
-void insert_relax(void);
-void expand(void);
-void get_x_token(void);
-void x_token(void);
-void scan_left_brace(void);
-void scan_optional_equals(void);
-boolean scan_keyword(const char * s);
-void mu_error(void);
-void scan_eight_bit_int(void);
-void scan_char_num(void);
-void scan_four_bit_int(void);
-void scan_fifteen_bit_int(void);
-void scan_twenty_seven_bit_int(void);
-void scan_font_ident(void);
-void find_font_dimen_(boolean writing);
-#define find_font_dimen(writing) find_font_dimen_((boolean) (writing))
-void scan_something_internal_(small_number level, boolean negative);
-#define scan_something_internal(level, negative) scan_something_internal_((small_number) (level), (boolean) (negative))
-void scan_int(void);
-void scan_dimen_(boolean mu, boolean inf, boolean shortcut);
-#define scan_dimen(mu, inf, shortcut) scan_dimen_((boolean) (mu), (boolean) (inf), (boolean) (shortcut))
-void scan_glue_(small_number level);
-#define scan_glue(level) scan_glue_((small_number) (level))
-pointer scan_rule_spec(void);
-pointer str_toks_(pool_pointer b);
-#define str_toks(b) str_toks_((pool_pointer) (b))
-pointer the_toks(void);
-void ins_the_toks(void);
-void conv_toks(void);
-pointer scan_toks_(boolean macro_def, boolean xpand);
-#define scan_toks(macro_def, xpand) scan_toks_((boolean) (macro_def), (boolean) (xpand))
-void read_toks_(integer n, pointer r);
-#define read_toks(n, r) read_toks_((integer) (n), (pointer) (r))
-void pass_text(void);
+void end_token_list (void);
+void back_input (void);
+void back_error (void);
+void ins_error (void);
+void begin_file_reading (void);
+void end_file_reading (void);
+void clear_for_error_prompt (void);
+void check_outer_validity (void);
+void get_next (void);
+void firm_up_the_line (void);
+void get_token (void);
+void macro_call (void);
+void insert_relax (void);
+void expand (void);
+void get_x_token (void);
+void x_token (void);
+void scan_left_brace (void);
+void scan_optional_equals (void);
+boolean scan_keyword (const char * s);
+void mu_error (void);
+void scan_eight_bit_int (void);
+void scan_char_num (void);
+void scan_four_bit_int (void);
+void scan_fifteen_bit_int (void);
+void scan_twenty_seven_bit_int (void);
+void scan_font_ident (void);
+void find_font_dimen (boolean writing);
+void scan_something_internal (small_number level, boolean negative);
+void scan_int (void);
+void scan_dimen (boolean mu, boolean inf, boolean shortcut);
+void scan_glue (small_number level);
+pointer scan_rule_spec (void);
+pointer str_toks (pool_pointer b);
+pointer the_toks (void);
+void ins_the_toks (void);
+void conv_toks (void);
+pointer scan_toks (boolean macro_def, boolean xpand);
+void read_toks (integer n, pointer r);
+void pass_text (void);
void change_if_limit_(small_number l, pointer p);
#define change_if_limit(l, p) change_if_limit_((small_number) (l), (pointer) (p))
-void conditional(void);
-void begin_name(void);
+void conditional (void);
+void begin_name (void);
boolean more_name_(ASCII_code c);
#define more_name(c) more_name_((ASCII_code) (c))
-void end_name(void);
+void end_name (void);
void pack_file_name_(str_number n, str_number a, str_number e);
#define pack_file_name(n, a, e) pack_file_name_((str_number) (n), (str_number) (a), (str_number) (e))
void pack_buffered_name_(small_number n, integer a, integer b);
#define pack_buffered_name(n, a, b) pack_buffered_name_((small_number) (n), (integer) (a), (integer) (b))
-str_number make_name_string(void);
+str_number make_name_string (void);
str_number a_make_name_string_(void);
#define a_make_name_string(f) a_make_name_string_()
str_number b_make_name_string_(void);
#define b_make_name_string(f) b_make_name_string_()
str_number w_make_name_string_(void);
#define w_make_name_string(f) w_make_name_string_()
-void scan_file_name(void);
+void scan_file_name (void);
void pack_job_name_(str_number s);
#define pack_job_name(s) pack_job_name_(make_string_pool((const char *) (s)))
void prompt_file_name_(const char * s, str_number e);
#define prompt_file_name(s, e) prompt_file_name_((const char *) s, make_string_pool((const char*) e))
-void open_log_file(void);
-void start_input(void);
-internal_font_number read_font_info_(halfword u, str_number nom, str_number arie, scaled s);
-#define read_font_info(u, nom, aire, s) read_font_info_((halfword) (u), (str_number) (nom), (str_number) (aire), (scaled) (s))
+void open_log_file (void);
+void start_input (void);
+internal_font_number read_font_info (pointer u, str_number nom, str_number arie, scaled s);
void char_warning_(internal_font_number f, eight_bits c);
#define char_warning(f, c) char_warning_((internal_font_number) (f), (eight_bits) (c))
halfword new_character_(internal_font_number f, eight_bits c);
#define new_character(f, c) new_character_((internal_font_number) (f), (eight_bits) (c))
-void dvi_swap(void);
+void dvi_swap (void);
void dvi_four_(integer x);
#define dvi_four(x) dvi_four_((integer) (x))
void dvi_pop_(integer l);
#define dvi_font_def(f) dvi_font_def_((internal_font_number) (f))
void zmovement(scaled w, eight_bits o);
#define movement(w, o) zmovement((scaled) (w), (eight_bits) (o))
-void special_out_(pointer p);
-#define special_out(p) special_out_((pointer) (p))
-void hlist_out(void);
-void vlist_out(void);
+void special_out (pointer p);
+void hlist_out (void);
+void vlist_out (void);
void ship_out_(pointer p);
#define ship_out(p) ship_out_((pointer) (p))
-void prune_movements_(integer l);
-#define prune_movements(l) prune_movements_((integer) (l))
-void write_out_(pointer p);
-#define write_out(p) write_out_((pointer) (p))
-void out_what_(pointer p);
-#define out_what(p) out_what_((pointer) (p))
+void prune_movements (integer l);
+void write_out (pointer p);
+void out_what (pointer p);
void scan_spec_(group_code c, boolean three_codes);
#define scan_spec(c, three_codes) scan_spec_((group_code) (c), (boolean) (three_codes))
pointer hpack_(pointer p, scaled w, small_number m);
#define hpack(p, w, m) hpack_((pointer) (p), (scaled) (w), (small_number) (m))
pointer vpackage_(pointer p, scaled h, small_number m, scaled l);
#define vpackage(p, h, m, l) vpackage_((pointer) (p), (scaled) (h), (small_number) (m), (scaled) (l))
-void append_to_vlist_(pointer b);
-#define append_to_vlist(b) append_to_vlist_((pointer) (b))
-pointer new_noad(void);
+void append_to_vlist (pointer b);
+pointer new_noad (void);
pointer new_style_(small_number s);
#define new_style(s) new_style_((small_number) (s))
-pointer new_choice(void);
-void show_info(void);
+pointer new_choice (void);
+void show_info (void);
pointer fraction_rule_(scaled t);
#define fraction_rule(t) fraction_rule_((scaled) (t))
pointer overbar_(pointer b, scaled k, scaled t);
#define math_glue(g, m) math_glue_((pointer) (g), (scaled) (m))
void math_kern_(pointer p, scaled m);
#define math_kern(p, m) math_kern_((pointer) (p), (scaled) (m))
-void flush_math(void);
+void flush_math (void);
pointer clean_box_(pointer p, small_number s);
#define clean_box(p, s) clean_box_((pointer) (p), (small_number) (s))
void fetch_(pointer a);
#define fetch(a) fetch_((pointer) (a))
-void make_over_(pointer q);
-#define make_over(q) make_over_((pointer) (q))
-void make_under_(pointer q);
-#define make_under(q) make_under_((pointer) (q))
-void make_vcenter_(pointer q);
-#define make_vcenter(q) make_vcenter_((pointer) (q))
-void make_radical_(pointer q);
-#define make_radical(q) make_radical_((pointer) (q))
-void make_math_accent_(pointer q);
-#define make_math_accent(q) make_math_accent_((pointer) (q))
-void make_fraction_(pointer q);
-#define make_fraction(q) make_fraction_((pointer) (q))
-scaled make_op_(pointer q);
-#define make_op(q) make_op_((pointer) (q))
-void make_ord_(pointer q);
-#define make_ord(q) make_ord_((pointer) (q))
-void make_scripts_(pointer q, scaled delta);
-#define make_scripts(q, delta) make_scripts_((pointer) (q), (scaled) (delta))
-small_number make_left_right_(pointer q, small_number style, scaled max_d, scaled max_h);
-#define make_left_right(q, style, max_d, max_h) make_left_right_((pointer) (q), (small_number) (style), (scaled) (max_d), (scaled) (max_h))
-void mlist_to_hlist(void);
-void push_alignment(void);
-void pop_alignment(void);
-void get_preamble_token(void);
-void init_align(void);
-void init_span_(pointer p);
-#define init_span(p) init_span_((pointer) (p))
-void init_row(void);
-void init_col(void);
-boolean fin_col(void);
-void fin_row(void);
-void fin_align(void);
-void align_peek(void);
-pointer finite_shrink_(pointer p);
-#define finite_shrink(p) finite_shrink_((pointer) (p))
+void make_over (pointer q);
+void make_under (pointer q);
+void make_vcenter (pointer q);
+void make_radical (pointer q);
+void make_math_accent (pointer q);
+void make_fraction (pointer q);
+scaled make_op (pointer q);
+void make_ord (pointer q);
+void make_scripts (pointer q, scaled delta);
+small_number make_left_right (pointer q, small_number style, scaled max_d, scaled max_h);
+void mlist_to_hlist (void);
+void push_alignment (void);
+void pop_alignment (void);
+void get_preamble_token (void);
+void init_align (void);
+void init_span (pointer p);
+void init_row (void);
+void init_col (void);
+boolean fin_col (void);
+void fin_row (void);
+void fin_align (void);
+void align_peek (void);
+pointer finite_shrink (pointer p);
void try_break_(integer pi, small_number breaktype);
#define try_break(pi, breaktype) try_break_((integer) (pi), (small_number) (breaktype))
-void post_line_break_(integer final_widow_penalty);
-#define post_line_break(final_widow_penalty) post_line_break_((integer) (final_widow_penalty))
+void post_line_break (integer final_widow_penalty);
small_number reconstitute_(small_number j, small_number n, halfword bchar, halfword hchar);
#define reconstitute(j, n, bchar, hchar) reconstitute_((small_number) (j), (small_number) (n), (halfword) (bchar), (halfword) (hchar))
-void hyphenate(void);
+void hyphenate (void);
trie_op_code new_trie_op_(small_number d, small_number n, trie_op_code v);
#define new_trie_op(d, n, v) new_trie_op_((small_number) (d), (small_number) (n), (trie_op_code) (v))
trie_pointer trie_node_(trie_pointer p);
-#define trie_node(p) trie_node_((trie_pointer) (p))
-trie_pointer compress_trie_(trie_pointer p);
-#define compress_trie(p) compress_trie_((trie_pointer) (p))
-void first_fit_(trie_pointer p);
-#define first_fit(p) first_fit_((trie_pointer) (p))
-void trie_pack_(trie_pointer p);
-#define trie_pack(p) trie_pack_((trie_pointer) (p))
-void trie_fix_(trie_pointer p);
-#define trie_fix(p) trie_fix_((trie_pointer) (p))
-void new_patterns(void);
-void init_trie(void);
-void line_break_(integer final_widow_penalty);
-#define line_break(final_widow_penalty) line_break_((integer) (final_widow_penalty))
-void new_hyph_exceptions(void);
-pointer prune_page_top_(pointer p);
-#define prune_page_top(p) prune_page_top_((pointer) (p))
-pointer vert_break_(pointer p, scaled h, scaled d);
-#define vert_break(p, h, d) vert_break_((pointer) (p), (scaled) (h), (scaled) (d))
-pointer vsplit_(eight_bits n, scaled h);
-#define vsplit(n, h) vsplit_((eight_bits) (n), (scaled) (h))
-void print_totals(void);
+trie_pointer compress_trie (trie_pointer p);
+void first_fit (trie_pointer p);
+void trie_pack (trie_pointer p);
+void trie_fix (trie_pointer p);
+void new_patterns (void);
+void init_trie (void);
+void line_break (integer final_widow_penalty);
+void new_hyph_exceptions (void);
+pointer prune_page_top (pointer p);
+pointer vert_break (pointer p, scaled h, scaled d);
+pointer vsplit (eight_bits n, scaled h);
+void print_totals (void);
void freeze_page_specs_(small_number s);
#define freeze_page_specs(s) freeze_page_specs_((small_number) (s))
-void box_error_(eight_bits n);
-#define box_error(n) box_error_((eight_bits) (n))
+void box_error (eight_bits n);
void ensure_vbox_(eight_bits n);
#define ensure_vbox(n) ensure_vbox_((eight_bits) (n))
-void fire_up_(pointer c);
-#define fire_up(c) fire_up_((pointer) (c))
-void build_page(void);
-void app_space(void);
-void insert_dollar_sign(void);
-void you_cant(void);
-void report_illegal_case(void);
-boolean privileged(void);
-boolean its_all_over(void);
-void append_glue(void);
-void append_kern(void);
-void off_save(void);
-void extra_right_brace(void);
-void normal_paragraph(void);
-void box_end_(integer box_content);
-#define box_end(box_context) box_end_((integer) (box_context))
-void begin_box_(integer box_content);
-#define begin_box(box_context) begin_box_((integer) (box_context))
+void fire_up (pointer c);
+void build_page (void);
+void app_space (void);
+void insert_dollar_sign (void);
+void you_cant (void);
+void report_illegal_case (void);
+boolean privileged (void);
+boolean its_all_over (void);
+void append_glue (void);
+void append_kern (void);
+void off_save (void);
+void extra_right_brace (void);
+void normal_paragraph (void);
+void box_end (integer box_content);
+void begin_box (integer box_content);
void scan_box_(integer box_content);
#define scan_box(box_context) scan_box_((integer) (box_context))
-void package_(small_number c);
-#define package(c) package_((small_number) (c))
+void package (small_number c);
small_number norm_min_(integer h);
#define norm_min(h) norm_min_((integer) (h))
-void new_graf_(boolean indented);
-#define new_graf(indented) new_graf_((boolean) (indented))
-void indent_in_hmode(void);
-void head_for_vmode(void);
-void end_graf(void);
-void begin_insert_or_adjust(void);
-void make_mark(void);
-void append_penalty(void);
-void delete_last(void);
-void unpackage(void);
-void append_italic_correction(void);
-void append_discretionary(void);
-void build_discretionary(void);
-void make_accent(void);
-void align_error(void);
-void noalign_error(void);
-void omit_error(void);
-void do_endv(void);
-void cs_error(void);
+void new_graf (boolean indented);
+void indent_in_hmode (void);
+void head_for_vmode (void);
+void end_graf (void);
+void begin_insert_or_adjust (void);
+void make_mark (void);
+void append_penalty (void);
+void delete_last (void);
+void unpackage (void);
+void append_italic_correction (void);
+void append_discretionary (void);
+void build_discretionary (void);
+void make_accent (void);
+void align_error (void);
+void noalign_error (void);
+void omit_error (void);
+void do_endv (void);
+void cs_error (void);
void push_math_(group_code c);
#define push_math(c) push_math_((group_code) (c))
-void init_math(void);
-void start_eq_no(void);
+void init_math (void);
+void start_eq_no (void);
void scan_math_(pointer p);
#define scan_math(p) scan_math_((pointer) (p))
void set_math_char_(integer c);
void math_limit_switch(void);
void scan_delimiter_(pointer p, boolean r);
#define scan_delimiter(p, r) scan_delimiter_((pointer) (p), (boolean) (r))
-void math_radical(void);
-void math_ac(void);
-void append_choices(void);
-halfword fin_mlist_(halfword p);
-#define fin_mlist(p) fin_mlist_((halfword) (p))
-void build_choices(void);
-void sub_sup(void);
-void math_fraction(void);
-void math_left_right(void);
-void after_math(void);
-void resume_after_display(void);
-void get_r_token(void);
-void trap_zero_glue(void);
-void do_register_command_(small_number a);
-#define do_register_command(a) do_register_command_((small_number) (a))
-void alter_aux(void);
-void alter_prev_graf(void);
-void alter_page_so_far(void);
-void alter_integer(void);
-void alter_box_dimen(void);
-void new_font_(small_number a);
-#define new_font(a) new_font_((small_number) (a))
-void new_interaction(void);
-void prefixed_command(void);
-void do_assignments(void);
-void open_or_close_in(void);
-void issue_message(void);
-void shift_case(void);
-void show_whatever(void);
-void store_fmt_file(void);
+void math_radical (void);
+void math_ac (void);
+void append_choices (void);
+pointer fin_mlist_(pointer p);
+#define fin_mlist(p) fin_mlist_((pointer) (p))
+void build_choices (void);
+void sub_sup (void);
+void math_fraction (void);
+void math_left_right (void);
+void after_math (void);
+void resume_after_display (void);
+void get_r_token (void);
+void trap_zero_glue (void);
+void do_register_command (small_number a);
+void alter_aux (void);
+void alter_prev_graf (void);
+void alter_page_so_far (void);
+void alter_integer (void);
+void alter_box_dimen (void);
+void new_font (small_number a);
+void new_interaction (void);
+void prefixed_command (void);
+void do_assignments (void);
+void open_or_close_in (void);
+void issue_message (void);
+void shift_case (void);
+void show_whatever (void);
+void store_fmt_file (void);
void new_whatsit_(small_number s, small_number w);
#define new_whatsit(s, w) new_whatsit_((small_number) (s), (small_number) (w))
void new_write_whatsit_(small_number w);
#define new_write_whatsit(w) new_write_whatsit_((small_number) (w))
-void do_extension(void);
-void fix_language(void);
-void handle_right_brace(void);
-void main_control(void);
-void give_err_help(void);
-boolean open_fmt_file(void);
-boolean load_fmt_file(void);
-void close_files_and_terminate(void);
-void final_cleanup(void);
-void init_prim(void);
-void debug_help(void);
-void fix_date_and_time(void);
+void do_extension (void);
+void fix_language (void);
+void handle_right_brace (void);
+void main_control (void);
+void give_err_help (void);
+boolean open_fmt_file (void);
+boolean load_fmt_file (void);
+void close_files_and_terminate (void);
+void final_cleanup (void);
+void init_prim (void);
+void debug_help (void);
+void fix_date_and_time (void);
-int main_program(void);
-int main_init(int ac, char ** av);
\ No newline at end of file
+int main_program (void);
+int main_init (int ac, char ** av);
\ No newline at end of file