const dt: real = 0.1; node integrator(first: real; v: real; dt: real) returns (probe i: real) let i = (first -> pre i) + (dt * v); tel node test(i: int) returns (a, b, c: int; exit: bool) var probe cos, probe cosprime: real; let cosprime = integrator(1.0, 0. -> pre (-cos), dt); cos = integrator(0., cosprime, dt); a = int(cos * 1000.); b = int(cosprime * 1000.); c = int(-cos * 1000.); exit = (i > 1000); tel