mpen-10 #3709 (mpen-10)