/* Defines for a.out executables */