mpen-10 #3712 (mpen-10)