(command.CommandList
  children: [
    (command.ShFunction
      name: verify
      body: 
        (BraceGroup
          children: [
            (command.If
              arms: [
                (if_arm
                  cond: 
                    (condition.Shell
                      commands: [
                        (command.Sentence
                          child: 
                            (C {<Id.Lit_LBracket '['>} {<Id.KW_Bang '!'>} {<-f>} 
                              {(DQ ($ Id.VSub_Number '$1'))} {<Id.Lit_RBracket ']'>}
                            )
                          terminator: <Id.Op_Semi _>
                        )
                      ]
                    )
                  action: [
                    (command.Simple
                      words: [{<echo>} {(DQ )}]
                      redirects: [
                        (redir
                          op: <Id.Redir_GreatAnd '1>&'>
                          loc: (redir_loc.Fd fd:1)
                          arg: {<2>}
                        )
                      ]
                      do_fork: T
                    )
                    (command.Simple
                      words: [{<echo>} {(DQ <' *** Missing file: '> ($ Id.VSub_Number '$1'))}]
                      redirects: [
                        (redir
                          op: <Id.Redir_GreatAnd '1>&'>
                          loc: (redir_loc.Fd fd:1)
                          arg: {<2>}
                        )
                      ]
                      do_fork: T
                    )
                    (command.Simple
                      words: [{<echo>} {(SQ <' *** You need to run "make" before "make install".'>)}]
                      redirects: [
                        (redir
                          op: <Id.Redir_GreatAnd '1>&'>
                          loc: (redir_loc.Fd fd:1)
                          arg: {<2>}
                        )
                      ]
                      do_fork: T
                    )
                    (command.Simple
                      words: [{<echo>} {(DQ )}]
                      redirects: [
                        (redir
                          op: <Id.Redir_GreatAnd '1>&'>
                          loc: (redir_loc.Fd fd:1)
                          arg: {<2>}
                        )
                      ]
                      do_fork: T
                    )
                    (command.ControlFlow
                      token: <Id.ControlFlow_Exit exit>
                      arg_word: {<1>}
                    )
                  ]
                  spids: [63 78]
                )
              ]
            )
          ]
        )
    )
    (C {<verify>} {(DQ ($ Id.VSub_Number '$2'))})
    (C {<verify>} {(DQ ($ Id.VSub_Number '$3'))})
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} {<-x>} 
                      {(word_part.TildeSub token:<Id.Lit_TildeLike '~'>) <'/bin/'> 
                        (${ Id.VSub_Name INSTALLKERNEL)
                      } {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (command.Sentence
              child: 
                (C {<exec>} 
                  {(word_part.TildeSub token:<Id.Lit_TildeLike '~'>) <'/bin/'> 
                    (${ Id.VSub_Name INSTALLKERNEL)
                  } {(DQ ($ Id.VSub_At '$@'))}
                )
              terminator: <Id.Op_Semi _>
            )
          ]
          spids: [150 165]
        )
      ]
    )
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} {<-x>} {<'/sbin/'> (${ Id.VSub_Name INSTALLKERNEL)} 
                      {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (command.Sentence
              child: 
                (C {<exec>} {<'/sbin/'> (${ Id.VSub_Name INSTALLKERNEL)} {(DQ ($ Id.VSub_At '$@'))})
              terminator: <Id.Op_Semi _>
            )
          ]
          spids: [182 196]
        )
      ]
    )
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} {<-f>} {($ Id.VSub_Number '$4') <'/vmlinuz'>} 
                      {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (C {<mv>} {($ Id.VSub_Number '$4') <'/vmlinuz'>} {($ Id.VSub_Number '$4') <'/vmlinuz.old'>})
          ]
          spids: [217 229]
        )
      ]
    )
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} {<-f>} {($ Id.VSub_Number '$4') <'/System.map'>} 
                      {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (C {<mv>} {($ Id.VSub_Number '$4') <'/System.map'>} 
              {($ Id.VSub_Number '$4') <'/System.old'>}
            )
          ]
          spids: [243 255]
        )
      ]
    )
    (command.Simple
      words: [{<cat>} {($ Id.VSub_Number '$2')}]
      redirects: [
        (redir
          op: <Id.Redir_Great '>'>
          loc: (redir_loc.Fd fd:1)
          arg: {($ Id.VSub_Number '$4') <'/vmlinuz'>}
        )
      ]
      do_fork: T
    )
    (C {<cp>} {($ Id.VSub_Number '$3')} {($ Id.VSub_Number '$4') <'/System.map'>})
    (C {<sync>})
  ]
)