BGE_FLAG_40BIT_BUG
if ((sc->bge_flags & BGE_FLAG_40BIT_BUG) != 0)
sc->bge_flags |= BGE_FLAG_40BIT_BUG;