fun double(x:int) = x + x;