src/distrib/atari/inst
