So it looks like this is a lot more fine-grained than traditional fat binaries like mach-o traditionally provides. I do wonder whether you could use the same technology to provide totally different architecture support in a single binary, although I grant that may actually be less useful in practice than what they're doing here.