(CommandList
  children: [
    (FuncDef
      name: check
      body: 
        (BraceGroup
          children: [
            (If
              arms: [
                (if_arm
                  cond: [
                    (Pipeline
                      children: [
                        (C {(grep)} {(-q)} {(-e)} {(DQ ($ VSub_Number '$2'))} {(DQ ($ VSub_Number '$1'))})
                      ]
                      negated: T
                    )
                  ]
                  action: [
                    (C {(echo)} 
                      {
                        (DQ ('Did not find pattern ') 
                          (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) ($ VSub_Number '$2') (EscapedLiteralPart token:<Lit_EscapedChar '\\"'>) (' in ') ($ VSub_Number '$1') 
                          (':')
                        )
                      }
                    )
                    (C {(echo)} {(DQ ('   ') ($ VSub_Number '$2'))})
                    (C {(echo)} {(DQ )})
                    (C {(echo)} {(DQ ('Actual disassembly below:'))})
                    (C {(cat)} {(DQ ($ VSub_Number '$1'))})
                    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(1)})
                  ]
                  spids: [16777215 94]
                )
              ]
              spids: [16777215 143]
            )
          ]
          spids: [72]
        )
      spids: [68 71]
    )
    (C {(check)} {(arm_unaligned_reloc.stdout)} {(DQ ('^00009000 <x>:') (Lit_Other '$'))})
    (C {(check)} {(arm_unaligned_reloc.stdout)} {(DQ ('^0000a001 <abs32>:') (Lit_Other '$'))})
    (C {(check)} {(arm_unaligned_reloc.stdout)} {(SQ <'^[\t ]*a001:[\t ]*00009001[\t ].*$'>)})
    (C {(check)} {(arm_unaligned_reloc.stdout)} {(DQ ('^0000a005 <rel32>:'))})
    (C {(check)} {(arm_unaligned_reloc.stdout)} 
      {(DQ ('^[\t ]*a005:[\t ]*ffffeffc[\t ].*') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc.stdout)} {(DQ ('^0000a009 <abs16>:'))})
    (C {(check)} {(arm_unaligned_reloc.stdout)} 
      {(DQ ('^[\t ]*a009:[\t ]*00009001[\t ].*') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc_r.stdout)} 
      {(DQ ('^[\t ]*1:[\t ]*00000001[\t ].*') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc_r.stdout)} 
      {(DQ ('^[\t]*1: R_ARM_ABS32[\t]*.data.0') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc_r.stdout)} 
      {(DQ ('^[\t ]*5:[\t ]*00000001[\t ].*') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc_r.stdout)} 
      {(DQ ('^[\t]*5: R_ARM_REL32[\t]*.data.0') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc_r.stdout)} 
      {(DQ ('^[\t ]*9:[\t ]*00000001[\t ].*') (Lit_Other '$'))}
    )
    (C {(check)} {(arm_unaligned_reloc_r.stdout)} 
      {(DQ ('^[\t]*9: R_ARM_ABS16[\t]*.data.0') (Lit_Other '$'))}
    )
    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(0)})
  ]
)