mpen-10 #3774 (mpen-10)