public int picosat_deref(int int_lit) { return INSTANCE.picosat_deref(currentPicosatObject, int_lit); }