mpen-10 #3657 (mpen-10)