mpen-10 #4272 (mpen-10)