(command.CommandList
  children: [
    (command.AndOr
      ops: [Op_DAmp]
      children: [
        (C {(Lit_Other '[')} 
          {
            (word_part.BracedVarSub
              token: <VSub_Name SPECIALFORMS_LAMBDA_SH>
              suffix_op: (suffix_op.StringUnary op_id:VTest_Plus arg_word:{(true)})
            )
          } {(Lit_Other ']')}
        )
        (command.ControlFlow token:<ControlFlow_Return return>)
      ]
    )
    (command.Assignment
      keyword: Assign_Declare
      flags: [-g]
      pairs: [(assign_pair lhs:(lhs_expr.LhsName name:SPECIALFORMS_LAMBDA_SH) op:Equal rhs:{(true)})]
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/common.sh)
      }
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/test.sh)
      }
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/specialforms.sh)
      }
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/callable.lambda.sh)
      }
    )
    (command.FuncDef
      name: 'evaluator::specialforms::lambda'
      body: 
        (command.BraceGroup
          children: [
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:env)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 1))}
                )
              ]
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:functionName)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 2))}
                )
              ]
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:args)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 3))}
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (length)
                  } {($ VSub_DollarName '$args')}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              flags: [-i]
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:length)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name RESULT))}
                )
              ]
            )
            (command.If
              arms: [
                (if_arm
                  cond: [
                    (command.Sentence
                      child: 
                        (command.DBracket
                          expr: 
                            (bool_expr.BoolBinary
                              op_id: Redir_Less
                              left: {($ VSub_DollarName '$length')}
                              right: {(2)}
                            )
                        )
                      terminator: <Op_Semi ';'>
                    )
                  ]
                  action: [
                    (C {(stderr)} {(DQ ('usage: (if condition true-branch false-branch)'))})
                    (command.ControlFlow
                      token: <ControlFlow_Exit exit>
                      arg_word: {(1)}
                    )
                  ]
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (first)
                  } {($ VSub_DollarName '$args')}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:formalArgs)
                  op: Equal
                  rhs: {(${ VSub_Name RESULT)}
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (rest)
                  } {($ VSub_DollarName '$args')}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:expressions)
                  op: Equal
                  rhs: {(${ VSub_Name RESULT)}
                )
              ]
            )
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (Lambda) (Lit_Other ':') (Lit_Other ':') (new)} {(DQ (${ VSub_Name env) (' ') (${ VSub_Name formalArgs) (' ') (${ VSub_Name expressions))}
            )
            (command.Assignment
              keyword: Assign_None
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:RESULT)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name RESULT))}
                )
              ]
            )
          ]
        )
    )
    (command.If
      arms: [
        (if_arm
          cond: [
            (command.Sentence
              child: 
                (C {(Lit_Other '[')} {($ VSub_Number '$0')} {(KW_Bang '!') (Lit_Other '=')} 
                  {($ VSub_DollarName '$BASH_SOURCE')} {(Lit_Other ']')}
                )
              terminator: <Op_Semi ';'>
            )
          ]
          action: [(command.ControlFlow token:<ControlFlow_Return return>)]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (lambda))})
    (command.Sentence
      child: 
        (C 
          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (new)}
        )
      terminator: <Op_Semi ';'>
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$RESULT')}
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Integer)} {(1)})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
              {($ VSub_DollarName '$command')}
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [(assign_pair lhs:(lhs_expr.LhsName name:lambda) op:Equal rhs:{(${ VSub_Name RESULT)})]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (toSexp)} {(DQ (${ VSub_Name lambda))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('(lambda () 1)'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ('(lambda () 1)'))}
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (Lambda) (Lit_Other ':') (Lit_Other ':') 
                (getEnv)
              } {($ VSub_DollarName '$lambda')}
            )
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {($ VSub_DollarName '$env')} 
          {($ VSub_DollarName '$RESULT')} {(DQ ('<original env> = <stored env>'))}
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (lambda))})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:argList)
              op: Equal
              rhs: {(${ VSub_Name RESULT)}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {(${ VSub_Name argList)} {(Identifier)} {(a)} {(Identifier)} {(b)} {(Identifier)} 
      {(c)}
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$argList')}
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Integer)} {(1)})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
              {($ VSub_DollarName '$command')}
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [(assign_pair lhs:(lhs_expr.LhsName name:lambda) op:Equal rhs:{(${ VSub_Name RESULT)})]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (toSexp)} {(DQ (${ VSub_Name lambda))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('(lambda (a b c) 1)'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ('(lambda (a b c) 1)'))}
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (lambda))})
    (command.Sentence
      child: 
        (C 
          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (new)}
        )
      terminator: <Op_Semi ';'>
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$RESULT')}
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(x)} {(Identifier)} {(y)})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
              {($ VSub_DollarName '$command')}
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [(assign_pair lhs:(lhs_expr.LhsName name:lambda) op:Equal rhs:{(${ VSub_Name RESULT)})]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (toSexp)} {(DQ (${ VSub_Name lambda))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('(lambda () x y)'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ('(lambda () x y)'))}
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (lambda))})
    (command.Sentence
      child: 
        (C 
          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (new)}
        )
      terminator: <Op_Semi ';'>
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$RESULT')}
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [(assign_pair lhs:(lhs_expr.LhsName name:sc1) op:Equal rhs:{(${ VSub_Name RESULT)})]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$sc1')} {(Identifier)} {(Lit_Other '+')} {(Integer)} {(1)} 
      {(Integer)} {(2)}
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$sc1')}
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [(assign_pair lhs:(lhs_expr.LhsName name:sc2) op:Equal rhs:{(${ VSub_Name RESULT)})]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$sc2')} {(Identifier)} {(Lit_Other '+')} {(Integer)} {(2)} 
      {(Integer)} {(3)}
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$sc2')}
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
              {($ VSub_DollarName '$command')}
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [(assign_pair lhs:(lhs_expr.LhsName name:lambda) op:Equal rhs:{(${ VSub_Name RESULT)})]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (toSexp)} {(DQ (${ VSub_Name lambda))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('(lambda () (+ 1 2) (+ 2 3))'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ('(lambda () (+ 1 2) (+ 2 3))'))}
        )
      ]
    )
    (C {(assert) (Lit_Other ':') (Lit_Other ':') (report)})
    (command.If
      arms: [
        (if_arm
          cond: [
            (command.Sentence
              child: 
                (command.AndOr
                  ops: [Op_DAmp]
                  children: [
                    (C {(Lit_Other '[')} 
                      {
                        (word_part.BracedVarSub
                          token: <VSub_Number 1>
                          suffix_op: (suffix_op.StringUnary op_id:VTest_Plus arg_word:{(isset)})
                        )
                      } {(Lit_Other ']')}
                    )
                    (C {(Lit_Other '[')} {(DQ ($ VSub_Number '$1'))} {(Lit_Other '=') (Lit_Other '=')} 
                      {(DQ (debug))} {(Lit_Other ']')}
                    )
                  ]
                )
              terminator: <Op_Semi ';'>
            )
          ]
          action: [(C {(variable) (Lit_Other ':') (Lit_Other ':') (printMetadata)})]
        )
      ]
    )
  ]
)