x86.aadl 383 Bytes