public static Keyword extractStartupTimePhase(Cons tree) {
    { Keyword startuptimephase = Stella.KWD_FINAL;
      Cons startuptimephasetree = null;

      if ((tree.length() >= 2) &&
          (Stella_Object.keywordP(tree.rest.value) &&
           Stella.$STARTUP_TIME_PHASES$.memberP(tree.rest.value))) {
        startuptimephase = ((Keyword)(tree.rest.value));
        startuptimephasetree = tree.rest;
        tree.rest = tree.rest.rest;
        startuptimephasetree.rest = Stella.NIL;
      }
      return (startuptimephase);
    }
  }