int main(int argc, char **argv) {
          // bounds [0 : 255]
          // do it now: static short  *p {NO INIT}
          // bounds [-128 : 127]
          // do it now: static short  *q {NO INIT}
          // bounds [1000 : 1255]
          // do it now: static short  *r {NO INIT}
          int i;
          i = p[100];
          i = q[(-28)];
          i = r[1100];
          return(0);
}