mpen-10 #3842 (mpen-10)