>>47のURLの254行目で
#ifdef EFFICIENT
とされていますが20行目で
//#define EFFICIENT
と無効化されています(対象のループはコンパイル時に除去されるコードです)

宣言エリアで ROBUST or EFFICIENT の選択とありますが、それぞれどういう挙動をさせるものかわかりますか?