mpen-10 #1142 (mpen-10)