Use intptr_t instead of int to ensure that the casted address is a linker constant.