AUT_TRAILER_MAGIC
if (magic_number != AUT_TRAILER_MAGIC) {
if (magic_number != AUT_TRAILER_MAGIC) {
if (magic_number != AUT_TRAILER_MAGIC)
short magic = (short)AUT_TRAILER_MAGIC; /* trailer magic number */
short magic = (short)AUT_TRAILER_MAGIC; /* trailer magic number */