mpen-10 #3931 (mpen-10)