Please use `min` from `utils.h` instead.