tweak

book.tex

@@ -17789,7 +17789,8 @@ def lambda_0(fvs_1: tuple[bot,int,tuple[int]], z: int) -> int:
   return (x + y[0] + z)
 
 def f(fvs_2: tuple[bot], x: int) -> tuple[Callable[[tuple[],int],int]]:
-  y = (4,)
+  y = (uninitialized(int),)
+  y[0] = 4
   return closure{1}({lambda_0}, x, y)
 
 def main() -> int: