(command.Case
  to_match: {(DQ ($ Id.VSub_Number 1))}
  arms: [
    (case_arm
      pat_list: [{<keygen>} {<keymgmt>} {<p12split>}]
      action: [(C {<exec>} {<'/usr/lib/inet/wanboot/'> (DQ ($ Id.VSub_At '@'))})]
      spids: [103 112 123 -1]
    )
    (case_arm
      pat_list: [{<Id.Lit_Star '*'>}]
      action: [
        (C {<echo>} {(DQ <'Usage: wanbootutil [keygen | keymgmt | p12split] [options] '>)})
        (command.ControlFlow token:<Id.ControlFlow_Exit exit> arg_word:{<1>})
      ]
      spids: [126 127 142 -1]
    )
  ]
  redirects: []
)