mpen-10 #3771 (mpen-10)