pollution: INFTIM
#define INFTIM (-1)