mpen-10 #4252 (mpen-10)