x86.aadl 508 Bytes