mpen-10 #3789 (mpen-10)