#include "PatchLev.h"
char __Ident_gnulib[] = "$PatchLevel: atariST/TT-TOS Gnulib: " PatchLevel " $";