public static String makeOdbcConnectionString(PropertyList options) {
    if (((StringWrapper)(options.lookup(Sdbc.KWD_CONNECTION_STRING))) != null) {
      return (((StringWrapper)(options.lookup(Sdbc.KWD_CONNECTION_STRING))).wrapperValue);
    }
    { OutputStringStream con = OutputStringStream.newOutputStringStream();

      { Keyword option = null;
        StringWrapper value = null;
        Cons iter000 = options.thePlist;

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest.rest) {
          option = ((Keyword)(iter000.value));
          value = ((StringWrapper)(iter000.rest.value));
          if (value != null) {
            if (option == Sdbc.KWD_USER) {
              con.nativeStream.print("UID");
            }
            else if (option == Sdbc.KWD_PASSWORD) {
              con.nativeStream.print("PWD");
            }
            else if (option == Sdbc.KWD_DB_NAME) {
              con.nativeStream.print("DATABASE");
            }
            else if (option == Sdbc.KWD_HOST) {
              con.nativeStream.print("SERVER");
            }
            else if ((option == Sdbc.KWD_PROTOCOL) ||
                (option == Sdbc.KWD_SERVER_TYPE)) {
              continue loop000;
            }
            else {
              con.nativeStream.print(option.symbolName);
            }
            con.nativeStream.print("=" + StringWrapper.unwrapString(value) + ";");
          }
        }
      }
      return (con.theStringReader());
    }
  }