reverted ValueOf in any_tuple_load

book.tex

@@ -17940,8 +17940,8 @@ Call(Name('any_tuple_load'), [|$e_1$|,|$e_2$|])
 |$\Rightarrow$|
 Block([Assign([|$t$|], |$e'_1$|), Assign([|$i$|], |$e'_2$|)],
       IfExp(Compare(TagOf(|$t$|), [Eq()], [Constant(2)]),
-            IfExp(Compare(ValueOf(|$i$|), [Lt()], [Call(Name('any_len'), [|$t$|])]),
-                  Call(Name('any_tuple_load'), [|$t$|, ValueOf(|$i$|)]),
+            IfExp(Compare(|$i$|, [Lt()], [Call(Name('any_len'), [|$t$|])]),
+                  Call(Name('any_tuple_load'), [|$t$|, |$i$|]),
                   Call(Name('exit'), [])),
             Call(Name('exit'), [])))
 \end{lstlisting}