I thought things like a common charset would justify the need for a common `__ATARI__` macro for all Atari machines. But if you don't see the need and want to keep `__ATARI__` as the macro for "Atari 8-bit home computers" then it does of course make no sense to define it for the 5200.