1cast x into pointer to constant int
2