src/texsourc/coerce.h

   1 /* Copyright 2007 TeX Users Group
   2    Copyright 2014 Clerk Ma
   3
   4    This program is free software; you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 2 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful, but
  10    WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12    General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program; if not, write to the Free Software
  16    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  17    02110-1301 USA.  */
  18
  19 void initialize (void);
  20 void print_ln (void);
  21 void print_char_(ASCII_code s);
  22 #define print_char(s) print_char_((ASCII_code) (s))
  23 void print_(integer s);
  24 #define print(s) print_((integer) (s))
  25 void prints_(const char * s);
  26 #define prints(s) prints_((const char *) s)
  27 void slow_print_(integer);
  28 #define slow_print(s) slow_print_((integer) (s))
  29 void print_nl(const char *);
  30 void print_esc(const char *);
  31 void print_the_digs_(eight_bits);
  32 #define print_the_digs(k) print_the_digs_((eight_bits) (k))
  33 void print_int_(integer);
  34 #define print_int(n) print_int_((integer) (n))
  35 void print_cs_(integer);
  36 #define print_cs(p) print_cs_((integer) (p))
  37 void sprint_cs_(halfword);
  38 #define sprint_cs(p) sprint_cs_((halfword) (p))
  39 void print_file_name_(integer, integer, integer);
  40 #define print_file_name(n, a, e) print_file_name_((integer) (n), (integer) (a), (integer) (e))
  41 void print_size_(integer);
  42 #define print_size(s) print_size_((integer) (s))
  43 void print_write_whatsit_(const char *, pointer);
  44 #define print_write_whatsit(s, p) print_write_whatsit_((const char *) (s), (pointer) (p))
  45 void jump_out(void);
  46 void error(void);
  47 void fatal_error(char *);
  48 void overflow_(char *, integer);
  49 #define overflow(s, n) overflow_((char *) (s), (integer) (n))
  50 void confusion_(const char *);
  51 #define confusion(s) confusion_((const char *) (s))
  52 boolean init_terminal(void);
  53 str_number make_string(void);
  54 boolean str_eq_buf_(str_number, integer);
  55 #define str_eq_buf(s, k) str_eq_buf_((str_number) (s), (integer) (k))
  56 boolean str_eq_str_(str_number, str_number);
  57 #define str_eq_str(s, t) str_eq_str_((str_number) (s), (str_number) (t))
  58 boolean get_strings_started(void);
  59 void print_two_(integer);
  60 #define print_two(n) print_two_((integer) (n))
  61 void print_hex_(integer);
  62 #define print_hex(n) print_hex_((integer) (n))
  63 void print_roman_int_(integer);
  64 #define print_roman_int(n) print_roman_int_((integer) (n))
  65 void print_current_string(void);
  66 void term_input(void);
  67 void int_error_(integer);
  68 #define int_error(n) int_error_((integer) (n))
  69 void normalize_selector(void);
  70 void pause_for_instructions(void);
  71 integer half_(integer);
  72 #define half(x) half_((integer) (x))
  73 scaled round_decimals_(small_number);
  74 #define round_decimals(k) round_decimals_((small_number) (k))
  75 void print_scaled_(scaled);
  76 #define print_scaled(s) print_scaled_((scaled) (s))
  77 scaled mult_and_add_(integer, scaled, scaled, scaled);
  78 #define mult_and_add(n, x, y, maxanswer) mult_and_add_((integer) (n), (scaled) (x), (scaled) (y), (scaled) (maxanswer))
  79 scaled x_over_n_(scaled, integer);
  80 #define x_over_n(x, n) x_over_n_((scaled) (x), (integer) (n))
  81 scaled xn_over_d_(scaled, integer, integer);
  82 #define xn_over_d(x, n, d) xn_over_d_((scaled) (x), (integer) (n), (integer) (d))
  83 halfword badness_(scaled, scaled);
  84 #define badness(t, s) badness_((scaled) (t), (scaled) (s))
  85 void print_word_(memory_word);
  86 #define print_word(w) print_word_((w))
  87 void show_token_list_(integer, integer, integer);
  88 #define show_token_list(p, q, l) show_token_list_((integer) (p), (integer) (q), (integer) (l))
  89 void runaway(void);
  90 halfword get_avail(void);
  91 void flush_list_(pointer);
  92 #define flush_list(p) flush_list_((pointer) (p))
  93 pointer get_node_(integer);
  94 #define get_node(s) get_node_((integer) (s))
  95 void free_node_(halfword, halfword);
  96 #define free_node(p, s) free_node_((halfword) (p), (halfword) (s))
  97 void sort_avail(void);
  98 pointer new_null_box(void);
  99 pointer new_rule(void);
 100 pointer new_ligature_(quarterword, quarterword, pointer);
 101 #define new_ligature(f, c, q) new_ligature_((quarterword) (f), (quarterword) (c), (pointer) (q))
 102 pointer new_lig_item_(quarterword);
 103 #define new_lig_item(c) new_lig_item_((quarterword) (c))
 104 pointer new_disc(void);
 105 pointer new_math_(scaled, small_number);
 106 #define new_math(w, s) new_math_((scaled) (w), (small_number) (s))
 107 pointer new_spec_(pointer);
 108 #define new_spec(p) new_spec_((pointer) (p))
 109 pointer new_param_glue_(small_number);
 110 #define new_param_glue(n) new_param_glue_((small_number) (n))
 111 pointer new_glue_(pointer);
 112 #define new_glue(q) new_glue_((pointer) (q))
 113 pointer new_skip_param_(small_number);
 114 #define new_skip_param(n) new_skip_param_((small_number) (n))
 115 pointer new_kern(scaled);
 116 pointer new_penalty(integer);
 117 void check_mem(boolean);
 118 void search_mem_(halfword);
 119 #define search_mem(p) search_mem_((halfword) (p))
 120 void short_display_(integer);
 121 #define short_display(p) short_display_((integer) (p))
 122 void print_font_and_char(integer);
 123 void print_mark_(integer);
 124 #define print_mark(p) print_mark_((integer) (p))
 125 void print_rule_dimen(scaled);
 126 void print_glue_(scaled, integer, char *);
 127 #define print_glue(d, order, s) print_glue_((scaled) (d), (integer) (order), (char *) (s))
 128 void print_spec_(integer, char *);
 129 #define print_spec(p, s) print_spec_((integer) (p), (char *) (s))
 130 void print_fam_and_char_(halfword);
 131 #define print_fam_and_char(p) print_fam_and_char_((halfword) (p))
 132 void print_delimiter_(halfword);
 133 #define print_delimiter(p) print_delimiter_((halfword) (p))
 134 void print_subsidiary_data_(halfword, ASCII_code);
 135 #define print_subsidiary_data(p, c) print_subsidiary_data_((halfword) (p), (ASCII_code) (c))
 136 void print_style_(integer);
 137 #define print_style(c) print_style_((integer) (c))
 138 void print_skip_param_(integer);
 139 #define print_skip_param(n) print_skip_param_((integer) (n))
 140 void show_node_list_(integer);
 141 #define show_node_list(p) show_node_list_((integer) (p))
 142 void show_box_(pointer);
 143 #define show_box(p) show_box_((pointer) (p))
 144 void delete_token_ref_(halfword);
 145 #define delete_token_ref(p) delete_token_ref_((halfword) (p))
 146 void delete_glue_ref_(halfword);
 147 #define delete_glue_ref(p) delete_glue_ref_((halfword) (p))
 148 void flush_node_list_(halfword);
 149 #define flush_node_list(p) flush_node_list_((halfword) (p))
 150 halfword copy_node_list_(halfword);
 151 #define copy_node_list(p) copy_node_list_((halfword) (p))
 152 void print_mode_(integer);
 153 #define print_mode(m) print_mode_((integer) (m))
 154 void push_nest(void);
 155 void pop_nest(void);
 156 void show_activities(void);
 157 void print_param_(integer);
 158 #define print_param(n) print_param_((integer) (n))
 159 void begin_diagnostic(void);
 160 void end_diagnostic_(boolean);
 161 #define end_diagnostic(blank_line) end_diagnostic_((boolean) (blank_line))
 162 void print_length_param_(integer);
 163 #define print_length_param(n) print_length_param_((integer) (n))
 164 void print_cmd_chr_(quarterword, halfword);
 165 #define print_cmd_chr(cmd, chr_code) print_cmd_chr_((quarterword) (cmd), (halfword) (chr_code))
 166 void show_eqtb_(halfword);
 167 #define show_eqtb(n) show_eqtb_((halfword) (n))
 168 halfword id_lookup_(integer, integer);
 169 #define id_lookup(j, l) id_lookup_((integer) (j), (integer) (l))
 170 void primitive_(str_number, quarterword, halfword);
 171 #define primitive(s, c, o) primitive_(make_string_pool((char *) s), (quarterword) (c), (halfword) (o))
 172 void new_save_level_(group_code);
 173 #define new_save_level(c) new_save_level_((group_code) (c))
 174 void eq_destroy_(memory_word);
 175 #define eq_destroy(w) eq_destroy_((w))
 176 void eq_save_(halfword, quarterword);
 177 #define eq_save(p, l) eq_save_((halfword) (p), (quarterword) (l))
 178 void eq_define_(halfword, quarterword, halfword);
 179 #define eq_define(p, t, e) eq_define_((halfword) (p), (quarterword) (t), (halfword) (e))
 180 void eq_word_define_(halfword, integer);
 181 #define eq_word_define(p, w) eq_word_define_((halfword) (p), (integer) (w))
 182 void geq_define_(halfword, quarterword, halfword);
 183 #define geq_define(p, t, e) geq_define_((halfword) (p), (quarterword) (t), (halfword) (e))
 184 void geq_word_define_(halfword, integer);
 185 #define geq_word_define(p, w) geq_word_define_((halfword) (p), (integer) (w))
 186 void save_for_after_(halfword);
 187 #define save_for_after(t) save_for_after_((halfword) (t))
 188 void restore_trace_(halfword, char *);
 189 #define restore_trace(p, s) restore_trace_((halfword) (p), (char *) (s))
 190 void unsave(void);
 191 void prepare_mag(void);
 192 void token_show_(halfword);
 193 #define token_show(p) token_show_((halfword) (p))
 194 void print_meaning(void);
 195 void show_cur_cmd_chr(void);
 196 void show_context(void);
 197 void begin_token_list_(halfword, quarterword);
 198 #define begin_token_list(p, t) begin_token_list_((halfword) (p), (quarterword) (t))
 199 void end_token_list(void);
 200 void back_input(void);
 201 void back_error(void);
 202 void ins_error(void);
 203 void begin_file_reading(void);
 204 void end_file_reading(void);
 205 void clear_for_error_prompt(void);
 206 void check_outer_validity(void);
 207 void get_next(void);
 208 void firm_up_the_line(void);
 209 void get_token(void);
 210 void macro_call(void);
 211 void insert_relax(void);
 212 void expand(void);
 213 void get_x_token(void);
 214 void x_token(void);
 215 void scan_left_brace(void);
 216 void scan_optional_equals(void);
 217 boolean scan_keyword(const char *);
 218 void mu_error(void);
 219 void scan_eight_bit_int(void);
 220 void scan_char_num(void);
 221 void scan_four_bit_int(void);
 222 void scan_fifteen_bit_int(void);
 223 void scan_twenty_seven_bit_int(void);
 224 void scan_font_ident(void);
 225 void find_font_dimen_(boolean);
 226 #define find_font_dimen(writing) find_font_dimen_((boolean) (writing))
 227 void scan_something_internal_(small_number, boolean);
 228 #define scan_something_internal(level, negative) scan_something_internal_((small_number) (level), (boolean) (negative))
 229 void scan_int(void);
 230 void scan_dimen_(boolean, boolean, boolean);
 231 #define scan_dimen(mu, inf, shortcut) scan_dimen_((boolean) (mu), (boolean) (inf), (boolean) (shortcut))
 232 void scan_glue_(small_number);
 233 #define scan_glue(level) scan_glue_((small_number) (level))
 234 halfword scan_rule_spec(void);
 235 halfword str_toks_(pool_pointer);
 236 #define str_toks(b) str_toks_((pool_pointer) (b))
 237 halfword the_toks(void);
 238 void ins_the_toks(void);
 239 void conv_toks(void);
 240 pointer scan_toks_(boolean, boolean);
 241 #define scan_toks(macro_def, xpand) scan_toks_((boolean) (macro_def), (boolean) (xpand))
 242 void read_toks_(integer, halfword);
 243 #define read_toks(n, r) read_toks_((integer) (n), (halfword) (r))
 244 void pass_text(void);
 245 void change_if_limit_(small_number, halfword);
 246 #define change_if_limit(l, p) change_if_limit_((small_number) (l), (halfword) (p))
 247 void conditional(void);
 248 void begin_name(void);
 249 boolean more_name_(ASCII_code);
 250 #define more_name(c) more_name_((ASCII_code) (c))
 251 void end_name(void);
 252 void pack_file_name_(str_number, str_number, str_number);
 253 #define pack_file_name(n, a, e) pack_file_name_((str_number) (n), (str_number) (a), (str_number) (e))
 254 void pack_buffered_name_(small_number, integer, integer);
 255 #define pack_buffered_name(n, a, b) pack_buffered_name_((small_number) (n), (integer) (a), (integer) (b))
 256 str_number make_name_string(void);
 257 str_number a_make_name_string_(void);
 258 #define a_make_name_string(f) a_make_name_string_()
 259 str_number b_make_name_string_(void);
 260 #define b_make_name_string(f) b_make_name_string_()
 261 str_number w_make_name_string_(void);
 262 #define w_make_name_string(f) w_make_name_string_()
 263 void scan_file_name(void);
 264 void pack_job_name_(str_number);
 265 #define pack_job_name(s) pack_job_name_(make_string_pool((char*) (s)))
 266 void prompt_file_name_(char *, str_number);
 267 #define prompt_file_name(s, e) prompt_file_name_((char *) s, make_string_pool((char*) e))
 268 void open_log_file(void);
 269 void start_input(void);
 270 internal_font_number read_font_info_(halfword, str_number, str_number, scaled);
 271 #define read_font_info(u, nom, aire, s) read_font_info_((halfword) (u), (str_number) (nom), (str_number) (aire), (scaled) (s))
 272 void char_warning_(internal_font_number, eight_bits);
 273 #define char_warning(f, c) char_warning_((internal_font_number) (f), (eight_bits) (c))
 274 halfword new_character_(internal_font_number, eight_bits);
 275 #define new_character(f, c) new_character_((internal_font_number) (f), (eight_bits) (c))
 276 void dvi_swap(void);
 277 void dvi_four_(integer);
 278 #define dvi_four(x) dvi_four_((integer) (x))
 279 void dvi_pop_(integer);
 280 #define dvi_pop(l) dvi_pop_((integer) (l))
 281 void dvi_font_def_(internal_font_number);
 282 #define dvi_font_def(f) dvi_font_def_((internal_font_number) (f))
 283 void zmovement(scaled, eight_bits);
 284 #define movement(w, o) zmovement((scaled) (w), (eight_bits) (o))
 285 void special_out_(pointer);
 286 #define special_out(p) special_out_((pointer) (p))
 287 void hlist_out(void);
 288 void vlist_out(void);
 289 void ship_out_(halfword);
 290 #define ship_out(p) ship_out_((halfword) (p))
 291 void prune_movements_(integer);
 292 #define prune_movements(l) prune_movements_((integer) (l))
 293 void write_out_(pointer);
 294 #define write_out(p) write_out_((pointer) (p))
 295 void out_what_(pointer);
 296 #define out_what(p) out_what_((pointer) (p))
 297 void scan_spec_(group_code, boolean);
 298 #define scan_spec(c, three_codes) scan_spec_((group_code) (c), (boolean) (three_codes))
 299 halfword hpack_(halfword, scaled, small_number);
 300 #define hpack(p, w, m) hpack_((halfword) (p), (scaled) (w), (small_number) (m))
 301 halfword vpackage_(halfword, scaled, small_number, scaled);
 302 #define vpackage(p, h, m, l) vpackage_((halfword) (p), (scaled) (h), (small_number) (m), (scaled) (l))
 303 void append_to_vlist_(halfword);
 304 #define append_to_vlist(b) append_to_vlist_((halfword) (b))
 305 pointer new_noad(void);
 306 pointer new_style_(small_number);
 307 #define new_style(s) new_style_((small_number) (s))
 308 pointer new_choice(void);
 309 void show_info(void);
 310 pointer fraction_rule_(scaled);
 311 #define fraction_rule(t) fraction_rule_((scaled) (t))
 312 pointer overbar_(pointer, scaled, scaled);
 313 #define overbar(b, k, t) overbar_((pointer) (b), (scaled) (k), (scaled) (t))
 314 pointer char_box_(internal_font_number, quarterword);
 315 #define char_box(f, c) char_box_((internal_font_number) (f), (quarterword) (c))
 316 void stack_into_box_(pointer, internal_font_number, quarterword);
 317 #define stack_into_box(b, f, c) stack_into_box_((pointer) (b), (internal_font_number) (f), (quarterword) (c))
 318 scaled height_plus_depth_(internal_font_number, quarterword);
 319 #define height_plus_depth(f, c) height_plus_depth_((internal_font_number) (f), (quarterword) (c))
 320 pointer var_delimiter_(pointer, small_number, scaled);
 321 #define var_delimiter(d, s, v) var_delimiter_((pointer) (d), (small_number) (s), (scaled) (v))
 322 pointer rebox_(pointer, scaled);
 323 #define rebox(b, w) rebox_((pointer) (b), (scaled) (w))
 324 pointer math_glue_(pointer, scaled);
 325 #define math_glue(g, m) math_glue_((pointer) (g), (scaled) (m))
 326 void math_kern_(pointer, scaled);
 327 #define math_kern(p, m) math_kern_((pointer) (p), (scaled) (m))
 328 void flush_math(void);
 329 pointer clean_box_(pointer, small_number);
 330 #define clean_box(p, s) clean_box_((pointer) (p), (small_number) (s))
 331 void fetch_(pointer);
 332 #define fetch(a) fetch_((pointer) (a))
 333 void make_over_(pointer);
 334 #define make_over(q) make_over_((pointer) (q))
 335 void make_under_(pointer);
 336 #define make_under(q) make_under_((pointer) (q))
 337 void make_vcenter_(pointer);
 338 #define make_vcenter(q) make_vcenter_((pointer) (q))
 339 void make_radical_(pointer);
 340 #define make_radical(q) make_radical_((pointer) (q))
 341 void make_math_accent_(pointer);
 342 #define make_math_accent(q) make_math_accent_((pointer) (q))
 343 void make_fraction_(pointer);
 344 #define make_fraction(q) make_fraction_((pointer) (q))
 345 scaled make_op_(pointer);
 346 #define make_op(q) make_op_((pointer) (q))
 347 void make_ord_(pointer);
 348 #define make_ord(q) make_ord_((pointer) (q))
 349 void make_scripts_(pointer, scaled);
 350 #define make_scripts(q, delta) make_scripts_((pointer) (q), (scaled) (delta))
 351 small_number make_left_right_(pointer, small_number, scaled, scaled);
 352 #define make_left_right(q, style, max_d, max_h) make_left_right_((pointer) (q), (small_number) (style), (scaled) (max_d), (scaled) (max_h))
 353 void mlist_to_hlist(void);
 354 void push_alignment(void);
 355 void pop_alignment(void);
 356 void get_preamble_token(void);
 357 void init_align(void);
 358 void init_span_(pointer);
 359 #define init_span(p) init_span_((pointer) (p))
 360 void init_row(void);
 361 void init_col(void);
 362 boolean fin_col(void);
 363 void fin_row(void);
 364 void fin_align(void);
 365 void align_peek(void);
 366 pointer finite_shrink_(pointer);
 367 #define finite_shrink(p) finite_shrink_((pointer) (p))
 368 void try_break_(integer, small_number);
 369 #define try_break(pi, breaktype) try_break_((integer) (pi), (small_number) (breaktype))
 370 void post_line_break_(integer);
 371 #define post_line_break(final_widow_penalty) post_line_break_((integer) (final_widow_penalty))
 372 small_number reconstitute_(small_number, small_number, halfword, halfword);
 373 #define reconstitute(j, n, bchar, hchar) reconstitute_((small_number) (j), (small_number) (n), (halfword) (bchar), (halfword) (hchar))
 374 void hyphenate(void);
 375 trie_op_code new_trie_op_(small_number, small_number, trie_op_code);
 376 #define new_trie_op(d, n, v) new_trie_op_((small_number) (d), (small_number) (n), (trie_op_code) (v))
 377 trie_pointer trie_node_(trie_pointer);
 378 #define trie_node(p) trie_node_((trie_pointer) (p))
 379 trie_pointer compress_trie_(trie_pointer);
 380 #define compress_trie(p) compress_trie_((trie_pointer) (p))
 381 void first_fit_(trie_pointer);
 382 #define first_fit(p) first_fit_((trie_pointer) (p))
 383 void trie_pack_(trie_pointer);
 384 #define trie_pack(p) trie_pack_((trie_pointer) (p))
 385 void trie_fix_(trie_pointer);
 386 #define trie_fix(p) trie_fix_((trie_pointer) (p))
 387 void new_patterns(void);
 388 void init_trie(void);
 389 void line_break_(integer);
 390 #define line_break(final_widow_penalty) line_break_((integer) (final_widow_penalty))
 391 void new_hyph_exceptions(void);
 392 pointer prune_page_top_(pointer);
 393 #define prune_page_top(p) prune_page_top_((pointer) (p))
 394 pointer vert_break_(pointer, scaled, scaled);
 395 #define vert_break(p, h, d) vert_break_((pointer) (p), (scaled) (h), (scaled) (d))
 396 pointer vsplit_(eight_bits, scaled);
 397 #define vsplit(n, h) vsplit_((eight_bits) (n), (scaled) (h))
 398 void print_totals(void);
 399 void freeze_page_specs_(small_number);
 400 #define freeze_page_specs(s) freeze_page_specs_((small_number) (s))
 401 void box_error_(eight_bits);
 402 #define box_error(n) box_error_((eight_bits) (n))
 403 void ensure_vbox_(eight_bits);
 404 #define ensure_vbox(n) ensure_vbox_((eight_bits) (n))
 405 void fire_up_(pointer);
 406 #define fire_up(c) fire_up_((pointer) (c))
 407 void build_page(void);
 408 void app_space(void);
 409 void insert_dollar_sign(void);
 410 void you_cant(void);
 411 void report_illegal_case(void);
 412 boolean privileged(void);
 413 boolean its_all_over(void);
 414 void append_glue(void);
 415 void append_kern(void);
 416 void off_save(void);
 417 void extra_right_brace(void);
 418 void normal_paragraph(void);
 419 void box_end_(integer);
 420 #define box_end(box_context) box_end_((integer) (box_context))
 421 void begin_box_(integer);
 422 #define begin_box(box_context) begin_box_((integer) (box_context))
 423 void scan_box_(integer);
 424 #define scan_box(box_context) scan_box_((integer) (box_context))
 425 void package_(small_number);
 426 #define package(c) package_((small_number) (c))
 427 small_number norm_min_(integer);
 428 #define norm_min(h) norm_min_((integer) (h))
 429 void new_graf_(boolean);
 430 #define new_graf(indented) new_graf_((boolean) (indented))
 431 void indent_in_hmode(void);
 432 void head_for_vmode(void);
 433 void end_graf(void);
 434 void begin_insert_or_adjust(void);
 435 void make_mark(void);
 436 void append_penalty(void);
 437 void delete_last(void);
 438 void unpackage(void);
 439 void append_italic_correction(void);
 440 void append_discretionary(void);
 441 void build_discretionary(void);
 442 void make_accent(void);
 443 void align_error(void);
 444 void noalign_error(void);
 445 void omit_error(void);
 446 void do_endv(void);
 447 void cs_error(void);
 448 void push_math_(group_code);
 449 #define push_math(c) push_math_((group_code) (c))
 450 void init_math(void);
 451 void start_eq_no(void);
 452 void scan_math_(pointer);
 453 #define scan_math(p) scan_math_((pointer) (p))
 454 void set_math_char_(integer);
 455 #define set_math_char(c) set_math_char_((integer) (c))
 456 void math_limit_switch(void);
 457 void scan_delimiter_(pointer, boolean);
 458 #define scan_delimiter(p, r) scan_delimiter_((pointer) (p), (boolean) (r))
 459 void math_radical(void);
 460 void math_ac(void);
 461 void append_choices(void);
 462 halfword fin_mlist_(halfword);
 463 #define fin_mlist(p) fin_mlist_((halfword) (p))
 464 void build_choices(void);
 465 void sub_sup(void);
 466 void math_fraction(void);
 467 void math_left_right(void);
 468 void after_math(void);
 469 void resume_after_display(void);
 470 void get_r_token(void);
 471 void trap_zero_glue(void);
 472 void do_register_command_(small_number);
 473 #define do_register_command(a) do_register_command_((small_number) (a))
 474 void alter_aux(void);
 475 void alter_prev_graf(void);
 476 void alter_page_so_far(void);
 477 void alter_integer(void);
 478 void alter_box_dimen(void);
 479 void new_font_(small_number);
 480 #define new_font(a) new_font_((small_number) (a))
 481 void new_interaction(void);
 482 void prefixed_command(void);
 483 void do_assignments(void);
 484 void open_or_close_in(void);
 485 void issue_message(void);
 486 void shift_case(void);
 487 void show_whatever(void);
 488 void store_fmt_file(void);
 489 void new_whatsit_(small_number, small_number);
 490 #define new_whatsit(s, w) new_whatsit_((small_number) (s), (small_number) (w))
 491 void new_write_whatsit_(small_number);
 492 #define new_write_whatsit(w) new_write_whatsit_((small_number) (w))
 493 void do_extension(void);
 494 void fix_language(void);
 495 void handle_right_brace(void);
 496 void main_control(void);
 497 void give_err_help(void);
 498 boolean open_fmt_file(void);
 499 boolean load_fmt_file(void);
 500 void close_files_and_terminate(void);
 501 void final_cleanup(void);
 502 void init_prim(void);
 503 void debug_help(void);
 504 int main_program(void);
 505 int main_init(int, char **);