(FuncDef
  name: monthNumToName
  body: 
    (BraceGroup
      children: [
        (Case
          to_match: {($ VSub_Number '$1')}
          arms: [
            (case_arm
              pat_list: [{(1)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [(assign_pair lhs:(LhsName name:month) op:Equal rhs:{(DQ (Jan))} spids:[35])]
                  spids: [35]
                )
              ]
              spids: [31 33 40 16777215]
            )
            (case_arm
              pat_list: [{(2)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [(assign_pair lhs:(LhsName name:month) op:Equal rhs:{(DQ (Feb))} spids:[46])]
                  spids: [46]
                )
              ]
              spids: [42 44 51 16777215]
            )
            (case_arm
              pat_list: [{(3)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [(assign_pair lhs:(LhsName name:month) op:Equal rhs:{(DQ (Mar))} spids:[58])]
                  spids: [58]
                )
              ]
              spids: [54 56 63 16777215]
            )
            (case_arm
              pat_list: [{(4)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [(assign_pair lhs:(LhsName name:month) op:Equal rhs:{(DQ (Apr))} spids:[69])]
                  spids: [69]
                )
              ]
              spids: [65 67 74 16777215]
            )
            (case_arm
              pat_list: [{(5)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [(assign_pair lhs:(LhsName name:month) op:Equal rhs:{(DQ (May))} spids:[81])]
                  spids: [81]
                )
              ]
              spids: [77 79 86 16777215]
            )
            (case_arm
              pat_list: [{(6)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [(assign_pair lhs:(LhsName name:month) op:Equal rhs:{(DQ (Jun))} spids:[92])]
                  spids: [92]
                )
              ]
              spids: [88 90 97 16777215]
            )
            (case_arm
              pat_list: [{(7)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:month)
                      op: Equal
                      rhs: {(DQ (Jul))}
                      spids: [104]
                    )
                  ]
                  spids: [104]
                )
              ]
              spids: [100 102 109 16777215]
            )
            (case_arm
              pat_list: [{(8)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:month)
                      op: Equal
                      rhs: {(DQ (Aug))}
                      spids: [115]
                    )
                  ]
                  spids: [115]
                )
              ]
              spids: [111 113 120 16777215]
            )
            (case_arm
              pat_list: [{(9)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:month)
                      op: Equal
                      rhs: {(DQ (Sep))}
                      spids: [127]
                    )
                  ]
                  spids: [127]
                )
              ]
              spids: [123 125 132 16777215]
            )
            (case_arm
              pat_list: [{(10)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:month)
                      op: Equal
                      rhs: {(DQ (Oct))}
                      spids: [137]
                    )
                  ]
                  spids: [137]
                )
              ]
              spids: [134 135 142 16777215]
            )
            (case_arm
              pat_list: [{(11)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:month)
                      op: Equal
                      rhs: {(DQ (Nov))}
                      spids: [148]
                    )
                  ]
                  spids: [148]
                )
              ]
              spids: [145 146 153 16777215]
            )
            (case_arm
              pat_list: [{(12)}]
              action: [
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:month)
                      op: Equal
                      rhs: {(DQ (Dec))}
                      spids: [158]
                    )
                  ]
                  spids: [158]
                )
              ]
              spids: [155 156 163 16777215]
            )
            (case_arm
              pat_list: [{(Lit_Other '*')}]
              action: [
                (Sentence
                  child: 
                    (SimpleCommand
                      words: [
                        {(echo)}
                        {
                          (DQ ($ VSub_Number '$0') (': Unknown numeric month value ') 
                            ($ VSub_Number '$1')
                          )
                        }
                      ]
                      redirects: [(Redir op:<Redir_GreatAnd '>&'> fd:16777215 arg_word:{(2)})]
                    )
                  terminator: <Op_Semi ';'>
                )
                (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(1)})
              ]
              spids: [166 168 16777215 187]
            )
          ]
          spids: [24 28 187]
        )
        (ControlFlow token:<ControlFlow_Return return> arg_word:{(0)})
      ]
      spids: [17]
    )
  spids: [13 16]
)