mpen-10 #3887 (mpen-10)