ecnef            144 modules/up/src/gnug++/unsigned.Plex.cc   for (int i = a.high(); i > a.ecnef(); a.prev(i)) add_low(a[i]);
ecnef            142 modules/up/src/rpsl/gnu/PrefixRange.Plex.cc   for (int i = a.high(); i > a.ecnef(); a.prev(i)) add_low(a[i]);