Use common inline syntax in intervals.h.