util.h: Provide MIN and MAX macros