(command.CommandList
  children: [
    (command.AndOr
      ops: [Op_DAmp]
      children: [
        (C {(Lit_Other '[')} 
          {
            (word_part.BracedVarSub
              token: <VSub_Name SPECIALFORMS_LETSTAR_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_LETSTAR_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)
      }
    )
    (command.FuncDef
      name: 'evaluator::specialforms::letstar'
      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: (let <bindings> <expr 1> .. <expr N>)'))})
                    (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:bindings)
                  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)}
                )
              ]
            )
            (command.Sentence
              child: 
                (C {(environment) (Lit_Other ':') (Lit_Other ':') (pushScope)} 
                  {($ VSub_DollarName '$env')}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:runningEnv)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name RESULT))}
                )
              ]
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair lhs:(lhs_expr.LhsName name:thisBinding) op:Equal)
                (assign_pair lhs:(lhs_expr.LhsName name:thisKey) op:Equal)
                (assign_pair lhs:(lhs_expr.LhsName name:thisValue) op:Equal)
                (assign_pair lhs:(lhs_expr.LhsName name:thisResult) op:Equal)
              ]
            )
            (command.WhileUntil
              keyword: <KW_While while>
              cond: [
                (command.Sentence
                  child: 
                    (command.Pipeline
                      children: [
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (isEmpty_c)
                          } {(DQ (${ VSub_Name bindings))}
                        )
                      ]
                      negated: T
                    )
                  terminator: <Op_Semi ';'>
                )
              ]
              body: 
                (command.DoGroup
                  children: [
                    (command.Sentence
                      child: 
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (first)
                          } {(DQ (${ VSub_Name bindings))}
                        )
                      terminator: <Op_Semi ';'>
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:thisBinding)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name RESULT))}
                        )
                      ]
                    )
                    (command.Sentence
                      child: 
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (rest)
                          } {(DQ (${ VSub_Name bindings))}
                        )
                      terminator: <Op_Semi ';'>
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:bindings)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name RESULT))}
                        )
                      ]
                    )
                    (C 
                      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                        (Lit_Other ':') (length)
                      } {(DQ (${ VSub_Name thisBinding))}
                    )
                    (command.If
                      arms: [
                        (if_arm
                          cond: [
                            (command.Sentence
                              child: 
                                (command.DBracket
                                  expr: 
                                    (bool_expr.BoolBinary
                                      op_id: BoolBinary_GlobNEqual
                                      left: {(DQ (${ VSub_Name RESULT))}
                                      right: {(2)}
                                    )
                                )
                              terminator: <Op_Semi ';'>
                            )
                          ]
                          action: [(C {(stderr)} {(DQ ('let binding must have exactly 2 elements'))})]
                        )
                      ]
                    )
                    (command.Sentence
                      child: 
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (index)
                          } {(DQ (${ VSub_Name thisBinding))} {(0)}
                        )
                      terminator: <Op_Semi ';'>
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:thisKey)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name RESULT))}
                        )
                      ]
                    )
                    (command.Sentence
                      child: 
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (index)
                          } {(DQ (${ VSub_Name thisBinding))} {(1)}
                        )
                      terminator: <Op_Semi ';'>
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:thisValue)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name RESULT))}
                        )
                      ]
                    )
                    (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} 
                      {($ VSub_DollarName '$runningEnv')} {($ VSub_DollarName '$thisValue')}
                    )
                    (C {(environment) (Lit_Other ':') (Lit_Other ':') (setVariable)} 
                      {(DQ (${ VSub_Name runningEnv))} {($ VSub_DollarName '$thisKey')} {($ VSub_DollarName '$RESULT')}
                    )
                  ]
                )
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair lhs:(lhs_expr.LhsName name:currentSexp) op:Equal)
                (assign_pair lhs:(lhs_expr.LhsName name:currentResult) op:Equal)
              ]
            )
            (command.WhileUntil
              keyword: <KW_While while>
              cond: [
                (command.Sentence
                  child: 
                    (command.Pipeline
                      children: [
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (isEmpty_c)
                          } {(DQ (${ VSub_Name expressions))}
                        )
                      ]
                      negated: T
                    )
                  terminator: <Op_Semi ';'>
                )
              ]
              body: 
                (command.DoGroup
                  children: [
                    (command.Sentence
                      child: 
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (first)
                          } {(DQ (${ VSub_Name expressions))}
                        )
                      terminator: <Op_Semi ';'>
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:currentSexp)
                          op: Equal
                          rhs: {(${ VSub_Name RESULT)}
                        )
                      ]
                    )
                    (command.Sentence
                      child: 
                        (C 
                          {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                            (Lit_Other ':') (rest)
                          } {(DQ (${ VSub_Name expressions))}
                        )
                      terminator: <Op_Semi ';'>
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:expressions)
                          op: Equal
                          rhs: {(${ VSub_Name RESULT)}
                        )
                      ]
                    )
                    (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} 
                      {($ VSub_DollarName '$runningEnv')} {($ VSub_DollarName '$currentSexp')}
                    )
                    (command.Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (lhs_expr.LhsName name:currentResult)
                          op: Equal
                          rhs: {(${ VSub_Name RESULT)}
                        )
                      ]
                    )
                  ]
                )
            )
            (command.Assignment
              keyword: Assign_None
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:RESULT)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name currentResult))}
                )
              ]
            )
          ]
        )
    )
    (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>)]
        )
      ]
    )
    (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)})]
        )
      ]
    )
  ]
)