docs: def parse_options():
      """
          Parses command-line options:
      """
  
      try:
          opts, args = getopt.getopt(sys.argv[1:],
                                     'k:n:ht:v',
                                     ['kval=',
                                      'size=',
                                      'help',
                                      'type=',
                                      'verb'])
      except getopt.GetoptError as err:
          sys.stderr.write(str(err).capitalize())
          usage()
          sys.exit(1)
  
      kval = 1
      size = 8
      ftype = 'php'
      verb = False
  
      for opt, arg in opts:
          if opt in ('-h', '--help'):
              usage()
              sys.exit(0)
          elif opt in ('-k', '--kval'):
              kval = int(arg)
          elif opt in ('-n', '--size'):
              size = int(arg)
          elif opt in ('-t', '--type'):
              ftype = str(arg)
          elif opt in ('-v', '--verb'):
              verb = True
          else:
              assert False, 'Unhandled option: {0} {1}'.format(opt, arg)
  
      return ftype, kval, size, verb