(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: [72 87]
                )
              ]
            )
          ]
        )
    )
    (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: [158 173]
        )
      ]
    )
    (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: [190 204]
        )
      ]
    )
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} 
                      {
                        (DQ 
                          (command_sub
                            left_token: <Id.Left_DollarParen '$('>
                            child: (C {<basename>} {($ Id.VSub_Number '$2')})
                          )
                        )
                      } {<Id.Lit_Equals '='>} {(DQ <Image.gz>)} {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (C {<echo>} {(DQ <'Installing compressed kernel'>)})
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:base)
                  op: assign_op.Equal
                  rhs: {<vmlinuz>}
                  spids: [255]
                )
              ]
            )
          ]
          spids: [221 242]
        )
      ]
      else_action: [
        (C {<echo>} {(DQ <'Installing normal kernel'>)})
        (command.ShAssignment
          pairs: [
            (assign_pair
              lhs: (sh_lhs_expr.Name name:base)
              op: assign_op.Equal
              rhs: {<vmlinux>}
              spids: [271]
            )
          ]
        )
      ]
    )
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} {<-f>} 
                      {($ Id.VSub_Number '$4') <'/'> ($ Id.VSub_DollarName '$base') <-> 
                        ($ Id.VSub_Number '$1')
                      } {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (C {<mv>} 
              {($ Id.VSub_Number '$4') <'/'> ($ Id.VSub_DollarName '$base') <-> ($ Id.VSub_Number '$1')} {($ Id.VSub_Number '$4') <'/'> ($ Id.VSub_DollarName '$base') <-> ($ Id.VSub_Number '$1') <.old>}
            )
          ]
          spids: [277 292]
        )
      ]
    )
    (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') <'/'> ($ Id.VSub_DollarName '$base') <-> ($ Id.VSub_Number '$1')}
        )
      ]
      do_fork: T
    )
    (command.If
      arms: [
        (if_arm
          cond: 
            (condition.Shell
              commands: [
                (command.Sentence
                  child: 
                    (C {<Id.Lit_LBracket '['>} {<-f>} 
                      {($ Id.VSub_Number '$4') <'/System.map-'> ($ Id.VSub_Number '$1')} {<Id.Lit_RBracket ']'>}
                    )
                  terminator: <Id.Op_Semi _>
                )
              ]
            )
          action: [
            (C {<mv>} {($ Id.VSub_Number '$4') <'/System.map-'> ($ Id.VSub_Number '$1')} 
              {($ Id.VSub_Number '$4') <'/System.map-'> ($ Id.VSub_Number '$1') <.old>}
            )
          ]
          spids: [328 341]
        )
      ]
    )
    (C {<cp>} {($ Id.VSub_Number '$3')} 
      {($ Id.VSub_Number '$4') <'/System.map-'> ($ Id.VSub_Number '$1')}
    )
  ]
)