(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_arm_thumb.stdout)} 
      {(DQ ('1004:\t.* \tldr\tip, ') (Lit_Other '\\') ('[pc') (Lit_Other '\\') (']'))}
    )
    (C {(check)} {(arm_farcall_arm_thumb.stdout)} {(DQ ('1008:\t.* \tbx\tip'))})
    (C {(check)} {(arm_farcall_arm_thumb.stdout)} {(DQ ('100c:\t02001015'))})
    (C {(chck)} {(arm_farcall_arm_thumb_5t.stdout)} {(DQ ('1004:\tf004 e51f'))})
    (C {(chck)} {(arm_farcall_arm_thumb_5t.stdout)} {(DQ ('1008:\t1015'))})
    (C {(chck)} {(arm_farcall_arm_thumb_5t.stdout)} {(DQ ('100a:\t0200'))})
    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(0)})
  ]
)