t1 := 1
t1 := n - t1
t2 := n * acc
PARAM t2
PARAM t1
t1 := CALL rem 2
