(CommandList
  children: [
    (FuncDef
      name: verify
      body: 
        (BraceGroup
          children: [
            (If
              arms: [
                (if_arm
                  cond: [
                    (Sentence
                      child: 
                        (C {(Lit_Other '[')} {(KW_Bang '!')} {(-f)} {(DQ ($ VSub_Number '$1'))} 
                          {(Lit_Other ']')}
                        )
                      terminator: <Op_Semi ';'>
                    )
                  ]
                  action: [
                    (SimpleCommand
                      words: [{(echo)} {(DQ )}]
                      redirects: [(Redir op_id:Redir_GreatAnd fd:1 arg_word:{(2)} spids:[86])]
                    )
                    (SimpleCommand
                      words: [{(echo)} {(DQ (' *** Missing file: ') ($ VSub_Number '$1'))}]
                      redirects: [(Redir op_id:Redir_GreatAnd fd:1 arg_word:{(2)} spids:[97])]
                    )
                    (SimpleCommand
                      words: [{(echo)} {(SQ <' *** You need to run "make" before "make install".'>)}]
                      redirects: [(Redir op_id:Redir_GreatAnd fd:1 arg_word:{(2)} spids:[107])]
                    )
                    (SimpleCommand
                      words: [{(echo)} {(DQ )}]
                      redirects: [(Redir op_id:Redir_GreatAnd fd:1 arg_word:{(2)} spids:[116])]
                    )
                    (ControlFlow token:<ControlFlow_Exit exit> arg_word:{(1)})
                  ]
                  spids: [16777215 78]
                )
              ]
              spids: [16777215 125]
            )
          ]
          spids: [60]
        )
      spids: [55 59]
    )
    (C {(verify)} {(DQ ($ VSub_Number '$2'))})
    (C {(verify)} {(DQ ($ VSub_Number '$3'))})
    (If
      arms: [
        (if_arm
          cond: [
            (Sentence
              child: 
                (C {(Lit_Other '[')} {(-x)} 
                  {(TildeSubPart prefix:'') (/bin/) (${ VSub_Name INSTALLKERNEL)} {(Lit_Other ']')}
                )
              terminator: <Op_Semi ';'>
            )
          ]
          action: [
            (Sentence
              child: 
                (C {(exec)} {(TildeSubPart prefix:'') (/bin/) (${ VSub_Name INSTALLKERNEL)} 
                  {(DQ ($ VSub_At '$@'))}
                )
              terminator: <Op_Semi ';'>
            )
          ]
          spids: [16777215 165]
        )
      ]
      spids: [16777215 180]
    )
    (If
      arms: [
        (if_arm
          cond: [
            (Sentence
              child: 
                (C {(Lit_Other '[')} {(-x)} {(/sbin/) (${ VSub_Name INSTALLKERNEL)} {(Lit_Other ']')})
              terminator: <Op_Semi ';'>
            )
          ]
          action: [
            (Sentence
              child: (C {(exec)} {(/sbin/) (${ VSub_Name INSTALLKERNEL)} {(DQ ($ VSub_At '$@'))})
              terminator: <Op_Semi ';'>
            )
          ]
          spids: [16777215 196]
        )
      ]
      spids: [16777215 210]
    )
    (If
      arms: [
        (if_arm
          cond: [
            (Sentence
              child: (C {(Lit_Other '[')} {(-f)} {($ VSub_Number '$4') (/vmlinuz)} {(Lit_Other ']')})
              terminator: <Op_Semi ';'>
            )
          ]
          action: [(C {(mv)} {($ VSub_Number '$4') (/vmlinuz)} {($ VSub_Number '$4') (/vmlinuz.old)})]
          spids: [16777215 229]
        )
      ]
      spids: [16777215 240]
    )
    (If
      arms: [
        (if_arm
          cond: [
            (Sentence
              child: 
                (C {(Lit_Other '[')} {(-f)} {($ VSub_Number '$4') (/System.map)} {(Lit_Other ']')})
              terminator: <Op_Semi ';'>
            )
          ]
          action: [(C {(mv)} {($ VSub_Number '$4') (/System.map)} {($ VSub_Number '$4') (/System.old)})]
          spids: [16777215 255]
        )
      ]
      spids: [16777215 266]
    )
    (SimpleCommand
      words: [{(cat)} {($ VSub_Number '$2')}]
      redirects: [
        (Redir
          op_id: Redir_Great
          fd: 16777215
          arg_word: {($ VSub_Number '$4') (/vmlinuz)}
          spids: [273]
        )
      ]
    )
    (C {(cp)} {($ VSub_Number '$3')} {($ VSub_Number '$4') (/System.map)})
    (C {(sync)})
  ]
)