&dom`x -> int * 0
&dom`y -> int * 4