public static SequenceIndex keywordDcreateSequenceIndex(Keyword kind, Cons pattern) {
    if (kind == Logic.KWD_PAGING) {
      { Stella_Object anchor = pattern.rest.rest.value;
        ObjectStore store = null;

        if (!(anchor != null)) {
          System.err.print("Safety violation: Null argument passed into paging index pattern");
        }
        store = Logic.homeObjectStore(anchor);
        if (store != null) {
          return (Logic.createSequenceIndex(store, pattern));
        }
        else {
          return (NonPagingIndex.newNonPagingIndex());
        }
      }
    }
    else if (kind == Logic.KWD_NON_PAGING) {
      return (NonPagingIndex.newNonPagingIndex());
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + kind + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }