mpen-10 #3999 (mpen-10)