void machine_tandy1k_init(void);
void machine_tandy1ksl2_init(void);