mpen-10 #3990 (mpen-10)