mpen-10 #3754 (mpen-10)