public static void whynot(Cons args) {
    { String label = null;
      Keyword style = null;
      int maxdepth = Stella.NULL_INTEGER;
      boolean summaryP = false;

      { Object [] caller_MV_returnarray = new Object[3];

        label = Logic.parseWhyArguments(args, caller_MV_returnarray);
        style = ((Keyword)(caller_MV_returnarray[0]));
        maxdepth = ((int)(((IntegerWrapper)(caller_MV_returnarray[1])).wrapperValue));
        summaryP = ((boolean)(((BooleanWrapper)(caller_MV_returnarray[2])).wrapperValue));
      }
      Logic.explainWhynot(label, style, maxdepth, summaryP, Stella.STANDARD_OUTPUT);
    }
  }