1# An awk script to determine the type of a file.
2/\177ELF\001/ { if (NR == 1) { print "elf32"; exit } }
3/\177ELF\002/ { if (NR == 1) { print "elf64"; exit } }
4/\114\001/    { if (NR == 1) { print "pecoff"; exit } }
5/\144\206/    { if (NR == 1) { print "pecoff"; exit } }
6/\xFE\xED\xFA\xCE/ { if (NR == 1) { print "macho32"; exit } }
7/\xCE\xFA\xED\xFE/ { if (NR == 1) { print "macho32"; exit } }
8/\xFE\xED\xFA\xCF/ { if (NR == 1) { print "macho64"; exit } }
9/\xCF\xFA\xED\xFE/ { if (NR == 1) { print "macho64"; exit } }
10/\xCA\xFE\xBA\xBE/ { if (NR == 1) { print "macho-fat"; exit } }
11/\xBE\xBA\xFE\xCA/ { if (NR == 1) { print "macho-fat"; exit } }
12