pub fn check_fat_layout(fat: &FatBinary) -> Result<(), String>
Check that the layout of the given FAT binary is correct from the loader perspective