resource Queue
	op insert(int item)
	op remove() returns int  item
end Queue