Symbol: rangelock_t