mpen-10 #3707 (mpen-10)