mpen-10 #4134 (mpen-10)