addmul ::= fn (x::=0, y:=0) add := x+y, mul := x*y { }; main ::= fn() { addmul(6,7); };