mpen-10 #3259 (mpen-10)