src/distrib/atari/misc