convert to a 64-bit int type before casting to int just in case it actually is a 64-bit pointer
convert to a 64-bit int type before casting to int just in case it actually is a 64-bit pointer

kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1