Introduce range.h