void x(integer i)
event ev()