pointer to int cast with size_T