mpen-10 #3117 (mpen-10)