mpen-10 #3253 (mpen-10)