The Mach-O binary file format