mpen-10 #3767 (mpen-10)