module Dispatcher:
input credit:integer;
output gum;
loop
	var lcredit:integer in
	    lcredit := pre(?credit);
           % PRE turns the program causal 

	if 15 <= lcredit 
		then emit gum 
		end if;
    end var;
	pause;
end loop
end module