FSUM7547
<state num1, i = num2 >