PoolFix is on the critical path, so use AVER_CRITICAL rather than AVER.