The lab4 for gxemul