agent(x,y:integer)do