ptrint: ptr2int and int2ptr are constant functions