gnupro/flex/MISC/Amiga
