mpen-10 #3442 (mpen-10)