Silence GCC's "cast of pointer to integer of a different size" warning