cast x into pointer to constant pointer to int
