1cast x into constant pointer to constant pointer to int
2