mpen-10 #3765 (mpen-10)