mpen-10 #3967 (mpen-10)