mpen-10 #3252 (mpen-10)