DELAY_INFTY       628 thread.c           arg.forever = delay == DELAY_INFTY;
DELAY_INFTY       706 thread.c           double delay = DELAY_INFTY;
DELAY_INFTY       735 thread.c           thread_join(th, DELAY_INFTY);