fastcall to ensure equal calling conventions; extended memory descriptions in model.aadl