Chapter 13. macho64: Mach 64-bit Object File Format