mpen-10 #3008 (mpen-10)