OS_ID_MPEXL
case OS_ID_MPEXL: return "MPE-iX";
pdc_model_sysmodel(OS_ID_MPEXL, name_mpe);
if (pdc_model_sysmodel(OS_ID_MPEXL, serial_no) == PDC_OK &&