	;; This file gathers calls for which no actual wrapper (no additional code) is needed.
	;; This is because the firmware behavior already matches what SDCC expects. Just defining a symbol is enough.

	;; Most have the simplest prototype: void function(void)
	;; But not all. For example, fw_km_get_state

	_fw_km_initialise == 0xBB00
	_fw_km_reset == 0xBB03

	_fw_km_get_state == 0xBB21
	_fw_km_get_joystick == 0xBB24

	_fw_km_get_delay == 0xBB42

	_fw_km_disarm_break == 0xBB48
	_fw_km_break_event == 0xBB4B
	_fw_km_set_locks == 0xBD3A

	_fw_gra_initialise == 0xBBBA
	_fw_gra_reset == 0xBBBD
	_fw_gra_move_absolute__fastcall == 0xBBC0
	_fw_gra_move_relative__fastcall == 0xBBC3
	_fw_gra_ask_cursor == 0xBBC6
	_fw_gra_set_origin__fastcall == 0xBBC9
	_fw_gra_get_origin == 0xBBCC

	_fw_gra_win_width__fastcall == 0xBBCF
	_fw_gra_win_height__fastcall == 0xBBD2
	_fw_gra_get_w_width == 0xBBD5
	_fw_gra_get_w_height == 0xBBD8
	_fw_gra_clear_window == 0xBBDB

	_fw_gra_plot_absolute__fastcall == 0xBBEA
	_fw_gra_plot_relative__fastcall == 0xBBED
	_fw_gra_test_absolute__fastcall == 0xBBF0
	_fw_gra_test_relative__fastcall == 0xBBF3
	_fw_gra_line_absolute__fastcall == 0xBBF6
	_fw_gra_line_relative__fastcall == 0xBBF9

	_fw_cas_initialise == 0xBC65
	_fw_cas_in_abandon == 0xBC7D
	_fw_cas_return == 0xBC86
	_fw_cas_out_abandon == 0xBC92

	_fw_kl_choke_off__ignore_return_value == 0xBCC8
	_fw_kl_rom_walk == 0xBCCB

	;; _fw_kl_scan_needed == 0xB92A

	_fw_txt_initialise == 0xBB4E
	_fw_txt_reset == 0xBB51
	_fw_txt_vdu_enable == 0xBB54
	_fw_txt_vdu_disable == 0xBB57

	_fw_txt_win_enable__fastcall == 0xBB66
	_fw_txt_get_window == 0xBB69
	_fw_txt_set_cursor__fastcall == 0xBB75

	_fw_txt_cur_enable == 0xBB7B
	_fw_txt_cur_disable == 0xBB7E
	_fw_txt_cur_on == 0xBB81
	_fw_txt_cur_off == 0xBB84
	_fw_txt_place_cursor == 0xBB8A
	_fw_txt_remove_cursor == 0xBB8D

	_fw_txt_clear_window == 0xBB6C

	_fw_txt_inverse == 0xBB9C

	_fw_txt_get_matrix__ignore_rom_indication == 0xBBA5

	_fw_txt_get_controls == 0xBBB1

	_fw_mc_boot_program == 0xBD13
	_fw_mc_wait_flyback == 0xBD19
	_fw_mc_reset_printer == 0xBD28

	_fw_jre_jump_restore == 0xBD37

	_fw_scr_initialise == 0xBBFF
	_fw_scr_reset == 0xBC02
	_fw_scr_set_offset == 0xBC05
	_fw_scr_clear == 0xBC14

	;; 664 and 6128 only
	_fw_km_flush == 0xBD3D
	_fw_gra_default == 0xBD43

	;; The firmware indirections: NOT C-callable functions!
	;; _fw_txt_draw_cursor == 0xBDCD
	;; _fw_txt_undraw_cursor == 0xBDD0
	;; _fw_scr_mode_clear == 0xBDEB

	_fw_kl_sync_reset == 0xBCF5
	_fw_kl_event_disable == 0xBD04
	_fw_kl_event_enable == 0xBD07
	_fw_sound_reset == 0xBCA7
	_fw_sound_continue == 0xBCB9

	;; long int function (void);

	_fw_kl_time_please == 0xBD0D
