No more FORALL_PROCS & INIT_COUNTER