x % y ==> mod(x,y)