Add constant int_to_ptr and ptr_to_int.