BGE_MBX_RX_CONS0_LO
bge_writembx(sc, BGE_MBX_RX_CONS0_LO +
bge_writembx(sc, BGE_MBX_RX_CONS0_LO, sc->bge_rx_saved_considx);