pub static numfnames: &'static [&'static str] = &[
"columns", "init_tabs", "lines", "lines_of_memory", "magic_cookie_glitch", "padding_baud_rate",
"virtual_terminal", "width_status_line", "num_labels", "label_height", "label_width",
"max_attributes", "maximum_windows", "max_colors", "max_pairs", "no_color_video",
"buffer_capacity", "dot_vert_spacing", "dot_horz_spacing", "max_micro_address",
"max_micro_jump", "micro_col_size", "micro_line_size", "number_of_pins", "output_res_char",
"output_res_line", "output_res_horz_inch", "output_res_vert_inch", "print_rate",
"wide_char_size", "buttons", "bit_image_entwining", "bit_image_type", "magic_cookie_glitch_ul",
"carriage_return_delay", "new_line_delay", "backspace_delay", "horizontal_tab_delay",
"number_of_function_keys"
]