"0x100579C" is an integer. You need to cast it as a pointer to an integer. e.g, (int*)