(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 88]
                )
              ]
              spids: [16777215 133]
            )
          ]
          spids: [68]
        )
      spids: [64 67]
    )
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f01018:\t.*      \tbx\tpc'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f0101a:\t.*      \tnop'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f0101c:\tf004 e51f'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f01020:\t1014'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f01022:\t0200'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f01024:\t.*      \tbx\tpc'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f01026:\t.*      \tnop'))})
    (C {(check)} {(arm_farcall_thumb_arm.stdout)} {(DQ ('1f01028:\tfff9 ea03'))})
    (C {(check)} {(arm_farcall_thumb_arm_5t.stdout)} {(DQ ('1f01018:\tf004 e51f'))})
    (C {(check)} {(arm_farcall_thumb_arm_5t.stdout)} {(DQ ('1f0101c:\t1014'))})
    (C {(check)} {(arm_farcall_thumb_arm_5t.stdout)} {(DQ ('1f0101e:\t0200'))})
    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(0)})
  ]
)