[x, y, z] v0 = IntObject(x.value % y.value) return IntObject(z.value + v0.value) [x, y, z] i0 = x.value % y.value return IntObject(z.value + i0)