more utils tests: explicitely specify unrandomized lock