History include/RangeMap.h