(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: [78]
                )
              ]
            )
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:pattern)
                  op: assign_op.Equal
                  rhs: {($ Id.VSub_Number '$2')}
                  spids: [82]
                )
              ]
            )
            (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: [87]
                )
              ]
            )
            (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: [101 112]
                )
              ]
            )
          ]
        )
    )
    (C {<check>} {<arm_bl_in_range.stdout>} 
      {(DQ <' 4000004:\teb800000 \tbl\t200000c <_backward_target>'>)}
    )
    (C {<check>} {<arm_bl_in_range.stdout>} 
      {(DQ <' 4000008:\teb7fffff \tbl\t600000c <_forward_target>'>)}
    )
    (C {<check>} {<thumb_bl_in_range.stdout>} 
      {(DQ <' 800004:\tf400 f800 \tbl\t400008 <_backward_target>'>)}
    )
    (C {<check>} {<thumb_bl_in_range.stdout>} 
      {(DQ <' 800008:\tf3ff ffff \tbl\tc0000a <_forward_target>'>)}
    )
    (C {<check>} {<thumb2_bl_in_range.stdout>} 
      {(DQ <' 2000004:\tf400 d000 \tbl\t1000008 <_backward_target>'>)}
    )
    (C {<check>} {<thumb2_bl_in_range.stdout>} 
      {(DQ <' 2000008:\tf3ff d7ff \tbl\t300000a <_forward_target>'>)}
    )
    (C {<check>} {<thumb_blx_in_range.stdout>} 
      {(DQ <' 800006:\tf400 e800 \tblx\t400008 <_backward_target>'>)}
    )
    (C {<check>} {<thumb_blx_in_range.stdout>} 
      {(DQ <' 80000c:\tf3ff effe \tblx\tc0000c <_forward_target>'>)}
    )
    (C {<check>} {<thumb2_blx_in_range.stdout>} 
      {(DQ <' 2000006:\tf400 c000 \tblx\t1000008 <_backward_target>'>)}
    )
    (C {<check>} {<thumb2_blx_in_range.stdout>} 
      {(DQ <' 200000c:\tf3ff c7fe \tblx\t300000c <_forward_target>'>)}
    )
    (C {<check>} {<arm_thm_jump11.stdout>} {(DQ <'    8804:\te400      \tb.n\t8008 <_backward_target>'>)})
    (C {<check>} {<arm_thm_jump11.stdout>} {(DQ <'    8806:\te3ff      \tb.n\t9008 <_forward_target>'>)})
    (C {<check>} {<arm_thm_jump8.stdout>} 
      {(DQ <'    8104:\td080      \tbeq.n\t8008 <_backward_target>'>)}
    )
    (C {<check>} {<arm_thm_jump8.stdout>} {(DQ <'    8106:\td07f      \tbeq.n\t8208 <_forward_target>'>)})
    (command.ControlFlow token:<Id.ControlFlow_Exit exit> arg_word:{<0>})
  ]
)