module await3:

input I;
output O;

loop
	await 3 pre(I);
	emit O;
end loop

end module