(CommandList
  children: [
    (FuncDef
      name: check
      body: 
        (BraceGroup
          children: [
            (If
              arms: [
                (if_arm
                  cond: [
                    (Pipeline
                      children: [
                        (C {(grep)} {(-q)} {(DQ ($ VSub_Number '$2'))} {(DQ ($ VSub_Number '$1'))})
                      ]
                      negated: T
                    )
                  ]
                  action: [
                    (C {(echo)} 
                      {(DQ ('Did not find expected instruction in ') ($ VSub_Number '$1') (':'))}
                    )
                    (C {(echo)} {(DQ ('   ') ($ VSub_Number '$2'))})
                    (C {(echo)} {(DQ )})
                    (C {(echo)} {(DQ ('Actual instructions below:'))})
                    (C {(cat)} {(DQ ($ VSub_Number '$1'))})
                    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(1)})
                  ]
                  spids: [16777215 89]
                )
              ]
              spids: [16777215 134]
            )
          ]
          spids: [69]
        )
      spids: [65 68]
    )
    (C {(check)} {(arm_fix_v4bx.stdout)} {(DQ ('.*00:\t.* \tmov\tpc, r0'))})
    (C {(check)} {(arm_fix_v4bx.stdout)} {(DQ ('.*04:\t.* \tmov\tpc, pc'))})
    (C {(check)} {(arm_fix_v4bx_interworking.stdout)} {(DQ ('.*00:\t.* \tb\t.*00 <.*>'))})
    (C {(check)} {(arm_fix_v4bx_interworking.stdout)} {(DQ ('.*04:\t.* \tmov\tpc, pc'))})
    (C {(check)} {(arm_fix_v4bx_interworking.stdout)} {(DQ ('.*00:\t.* \ttst\tr0, #1'))})
    (C {(check)} {(arm_fix_v4bx_interworking.stdout)} {(DQ ('.*04:\t.* \tmoveq\tpc, r0'))})
    (C {(check)} {(arm_fix_v4bx_interworking.stdout)} {(DQ ('.*08:\t.* \tbx\tr0'))})
    (C {(check)} {(arm_no_fix_v4bx.stdout)} {(DQ ('.*00:\t.* \tbx\tr0'))})
    (C {(check)} {(arm_no_fix_v4bx.stdout)} {(DQ ('.*04:\t.* \tbx\tpc'))})
    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(0)})
  ]
)