(command.CommandList
  children: [
    (command.ShFunction
      name: check
      body: 
        (BraceGroup
          children: [
            (command.If
              arms: [
                (if_arm
                  cond: 
                    (condition.Shell
                      commands: [
                        (command.Pipeline
                          children: [
                            (C {<grep>} {<-q>} {(DQ ($ Id.VSub_Number '$2'))} 
                              {(DQ ($ Id.VSub_Number '$1'))}
                            )
                          ]
                          negated: T
                        )
                      ]
                    )
                  action: [
                    (C {<echo>} 
                      {(DQ <'Did not find expected instruction in '> ($ Id.VSub_Number '$1') <':'>)}
                    )
                    (C {<echo>} {(DQ <'   '> ($ Id.VSub_Number '$2'))})
                    (C {<echo>} {(DQ )})
                    (C {<echo>} {(DQ <'Actual instructions below:'>)})
                    (C {<cat>} {(DQ ($ Id.VSub_Number '$1'))})
                    (command.ControlFlow
                      token: <Id.ControlFlow_Exit exit>
                      arg_word: {<1>}
                    )
                  ]
                  spids: [71 88]
                )
              ]
            )
          ]
        )
    )
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'1004:\t.*      \tbx\tpc'>)})
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'1006:\t.*      \tnop'>)})
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'1008:\tc000'>)})
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'100a:\te59f'>)})
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'100c:\tff1c e12f'>)})
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'1010:\t1015'>)})
    (C {<check>} {<arm_farcall_thumb_thumb.stdout>} {(DQ <'1012:\t0200'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_5t.stdout>} {(DQ <'1004:\tf004 e51f'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_5t.stdout>} {(DQ <'1008:\t1015'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_5t.stdout>} {(DQ <'100a:\t0200'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1004:\t.*      \tpush\t{r0}'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} 
      {
        (DQ <'1006:\t.*      \tldr\tr0, '> (word_part.EscapedLiteral token:<Id.Lit_EscapedChar '\\\\'>) 
          <'[pc, #8'> (word_part.EscapedLiteral token:<Id.Lit_EscapedChar '\\\\'>) <']'>
        )
      }
    )
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1008:\t.*      \tmov\tip, r0'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'100a:\t.*      \tpop\t{r0}'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'100c:\t.*      \tbx\tip'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'100e:\t.*      \tnop'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1010:\t1015'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1012:\t0200'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1004:\t.*      \tpush\t{r0}'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} 
      {
        (DQ <'1006:\t.*      \tldr\tr0, '> (word_part.EscapedLiteral token:<Id.Lit_EscapedChar '\\\\'>) 
          <'[pc, #8'> (word_part.EscapedLiteral token:<Id.Lit_EscapedChar '\\\\'>) <']'>
        )
      }
    )
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1008:\t.*      \tmov\tip, r0'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'100a:\t.*      \tpop\t{r0}'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'100c:\t.*      \tbx\tip'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'100e:\t.*      \tnop'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1010:\t1015'>)})
    (C {<check>} {<arm_farcall_thumb_thumb_6m.stdout>} {(DQ <'1012:\t0200'>)})
    (command.ControlFlow token:<Id.ControlFlow_Exit exit> arg_word:{<0>})
  ]
)