BGE_MBX_IRQ0_LO
bge_writembx(sc, BGE_MBX_IRQ0_LO, 1);
bge_writembx(sc, BGE_MBX_IRQ0_LO, statustag);
bge_writembx(sc, BGE_MBX_IRQ0_LO, 0);