mpen-10 #3732 (mpen-10)