public int resetOptions() { _indigo.setSessionID(); return(_indigo.checkResult(_inchi_lib.indigoInchiResetOptions())); }