/* cc65's libsrc/atari/ostype.s offers detailed OS type detection.
   All we care about is "Is it an XL/XE or a 400/800?", which
   boils down to this: */
#define is_xl() ( *((char *)0xfcd8) != 0xa2 )

void os_to_ram(void);