mpen-10 #3542 (mpen-10)