machine specification language{=MSL}