(command.CommandList
  children: [
    (command.ShFunction
      name: check
      body: 
        (BraceGroup
          children: [
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:file)
                  op: assign_op.Equal
                  rhs: {($ Id.VSub_Number '$1')}
                  spids: [81]
                )
              ]
            )
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:pattern)
                  op: assign_op.Equal
                  rhs: {($ Id.VSub_Number '$2')}
                  spids: [85]
                )
              ]
            )
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:found)
                  op: assign_op.Equal
                  rhs: 
                    {
                      (command_sub
                        left_token: <Id.Left_Backtick '`'>
                        child: 
                          (C {<grep>} {(DQ ($ Id.VSub_DollarName '$pattern'))} 
                            {($ Id.VSub_DollarName '$file')}
                          )
                      )
                    }
                  spids: [90]
                )
              ]
            )
            (command.If
              arms: [
                (if_arm
                  cond: 
                    (condition.Shell
                      commands: [
                        (command.Sentence
                          child: (C {<test>} {<-z>} {(DQ ($ Id.VSub_DollarName '$found'))})
                          terminator: <Id.Op_Semi _>
                        )
                      ]
                    )
                  action: [
                    (C {<echo>} 
                      {
                        (DQ <'pattern '> (word_part.EscapedLiteral token:<Id.Lit_EscapedChar '\\"'>) 
                          ($ Id.VSub_DollarName '$pattern') (word_part.EscapedLiteral token:<Id.Lit_EscapedChar '\\"'>) <' not found in file '> 
                          ($ Id.VSub_DollarName '$file') <.>
                        )
                      }
                    )
                    (command.ControlFlow
                      token: <Id.ControlFlow_Exit exit>
                      arg_word: {<1>}
                    )
                  ]
                  spids: [104 115]
                )
              ]
            )
          ]
        )
    )
    (C {<check>} {<arm_bl_out_of_range.stdout>} {(DQ <' 4000004:\teb00003d \tbl\t4000100 <.*>'>)})
    (C {<check>} {<arm_bl_out_of_range.stdout>} {(DQ <' 4000008:\teb00003e \tbl\t4000108 <.*>'>)})
    (C {<check>} {<arm_bl_out_of_range.stdout>} 
      {
        (DQ <' 4000100:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<arm_bl_out_of_range.stdout>} {(DQ <' 4000104:\t02000008 '>)})
    (C {<check>} {<arm_bl_out_of_range.stdout>} 
      {
        (DQ <' 4000108:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<arm_bl_out_of_range.stdout>} {(DQ <' 400010c:\t06000010 '>)})
    (C {<check>} {<thumb_bl_out_of_range.stdout>} {(DQ <' 800004:\tf000 e87c \tblx\t800100 <.*>'>)})
    (C {<check>} {<thumb_bl_out_of_range.stdout>} {(DQ <' 800008:\tf000 e87e \tblx\t800108 <.*>'>)})
    (C {<check>} {<thumb_bl_out_of_range.stdout>} 
      {
        (DQ <' 800100:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb_bl_out_of_range.stdout>} {(DQ <' 800104:\t00400007 '>)})
    (C {<check>} {<thumb_bl_out_of_range.stdout>} 
      {
        (DQ <' 800108:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb_bl_out_of_range.stdout>} {(DQ <' 80010c:\t00c0000d '>)})
    (C {<check>} {<thumb_blx_out_of_range.stdout>} {(DQ <' 800004:\tf000 e87c \tblx\t800100 <.*>'>)})
    (C {<check>} {<thumb_blx_out_of_range.stdout>} {(DQ <' 80000a:\tf000 e87e \tblx\t800108 <.*>'>)})
    (C {<check>} {<thumb_blx_out_of_range.stdout>} 
      {
        (DQ <' 800100:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb_blx_out_of_range.stdout>} {(DQ <' 800104:\t00400004 '>)})
    (C {<check>} {<thumb_blx_out_of_range.stdout>} 
      {
        (DQ <' 800108:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb_blx_out_of_range.stdout>} {(DQ <' 80010c:\t00c0000c '>)})
    (C {<check>} {<thumb_bl_out_of_range_local.stdout>} {(DQ <' 800004:\tf000 e87c \tblx\t800100 <.*>'>)})
    (C {<check>} {<thumb_bl_out_of_range_local.stdout>} {(DQ <' 800008:\tf000 e87e \tblx\t800108 <.*>'>)})
    (C {<check>} {<thumb_bl_out_of_range_local.stdout>} 
      {
        (DQ <' 800100:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb_bl_out_of_range_local.stdout>} {(DQ <' 800104:\t00400007 '>)})
    (C {<check>} {<thumb_bl_out_of_range_local.stdout>} 
      {
        (DQ <' 800108:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb_bl_out_of_range_local.stdout>} {(DQ <' 80010c:\t00c0000d '>)})
    (C {<check>} {<thumb2_bl_out_of_range.stdout>} {(DQ <' 2000004:\tf000 e87c \tblx\t2000100 <.*>'>)})
    (C {<check>} {<thumb2_bl_out_of_range.stdout>} {(DQ <' 2000008:\tf000 e87e \tblx\t2000108 <.*>'>)})
    (C {<check>} {<thumb2_bl_out_of_range.stdout>} 
      {
        (DQ <' 2000100:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb2_bl_out_of_range.stdout>} {(DQ <' 2000104:\t01000007 '>)})
    (C {<check>} {<thumb2_bl_out_of_range.stdout>} 
      {
        (DQ <' 2000108:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb2_bl_out_of_range.stdout>} {(DQ <' 200010c:\t0300000d '>)})
    (C {<check>} {<thumb2_blx_out_of_range.stdout>} {(DQ <' 2000004:\tf000 e87c \tblx\t2000100 <.*>'>)})
    (C {<check>} {<thumb2_blx_out_of_range.stdout>} {(DQ <' 200000a:\tf000 e87e \tblx\t2000108 <.*>'>)})
    (C {<check>} {<thumb2_blx_out_of_range.stdout>} 
      {
        (DQ <' 2000100:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb2_blx_out_of_range.stdout>} {(DQ <' 2000104:\t01000004 '>)})
    (C {<check>} {<thumb2_blx_out_of_range.stdout>} 
      {
        (DQ <' 2000108:\te51ff004 \tldr\tpc, '> <Id.Lit_BadBackslash '\\'> <'[pc, #-4'> 
          <Id.Lit_BadBackslash '\\'> <']'>
        )
      }
    )
    (C {<check>} {<thumb2_blx_out_of_range.stdout>} {(DQ <' 200010c:\t0300000c '>)})
    (command.ControlFlow token:<Id.ControlFlow_Exit exit> arg_word:{<0>})
  ]
)