int main(int argc, char **argv) {
          // bounds [0 : 15]
          // do it now: const int  *classmap {NO INIT}
          int i;
          i = classmap[0];
          return(0);
}