int also in synchronizer