docs: private static String[] shift(String[] args) {
      if(args==null || args.length==0 | args.length==1) return new String[0];
      String[] newArgs = new String[args.length-1];
      System.arraycopy(args, 1, newArgs, 0, newArgs.length);
      return newArgs;
    }