(Block (StructDef "Secret" :secret (args (arg "x" (VarType "Int") nil)) (Block)) (StructDef "External" :external (args (arg "x" (VarType "Int") nil)) (Block)) (StructDef "Opaque" :opaque (args) (Block)) (StructDef "Packed" :secret :packed_bools (args (arg "a" (VarType "Bool") nil) (arg "b" (VarType "Bool") nil)) (Block)) (EnumDef "Tagged" (tags (tag "Plain" (args))(tag "Hidden" :secret (args (arg "x" (VarType "Int") nil)))(tag "Bits" :packed_bools (args (arg "a" (VarType "Bool") nil) (arg "b" (VarType "Bool") nil)))) (Block)) (FunctionDef (Var "inlined") (args (arg "x" (VarType "Int") nil)) :return (VarType "Int") :inline (Block (Return (Var "x")))) (FunctionDef (Var "remembered") (args (arg "x" (VarType "Int") nil)) :return (VarType "Int") :cache (Int -1) (Block (Return (Var "x")))) (FunctionDef (Var "bounded") (args (arg "x" (VarType "Int") nil)) :return (VarType "Int") :cache (Int "100") (Block (Return (Var "x")))) (FunctionDef (Var "both") (args (arg "x" (VarType "Int") nil)) :return (VarType "Int") :inline :cache (Int -1) (Block (Return (Var "x")))) (FunctionDef (Var "main") (args) (Block (Declare (Var "xs") nil (List (Int "10") (Int "20"))) (Declare (Var "counts") (TableType (VarType "Text") (VarType "Int") :default (Int "0")) (Table)) (DebugLog  (Index (Var "counts") (Text "absent"))) (For (vars (Var "x")) (iters (Var "xs"))  :at (Var "i")(Block (FunctionCall (Var "say") (Text (Var "i") ":" (Var "x")))) nil) (DebugLog  (List (Comprehension (Var "x") (vars (Var "x")) (iters (Var "xs"))  :at (Var "i")))))))