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