(program 0.0.0
[[[[[[(force (builtin chooseData))
 (con data (B #001A))]
 (lam x (con integer 1))]
 (lam y (con string "two"))]
 (lam z3 z3)]
 (lam u (con data (I 4)))]
 (lam v (con data (B #05)))]
)
