mpen-10 #4223 (mpen-10)