mpen-10 #3722 (mpen-10)