mpen-10 #3987 (mpen-10)