mpen-10 #4254 (mpen-10)