mpen-10 #3945 (mpen-10)