The lab4 for gxemul.