void
test(int i)
{
  char buf[50];
  char buf2[50000];
  char *p;

  p= &buf[0]; *p=1;		/* (+ fp -56) */
  if (*p != buf[0])
    abort();
  p= &buf[5]; *p=2;		/* (+ fp -51) */
  if (*p != buf[5])
    abort();
  p= &buf[-1]; *p=3;		/* (+ (+ fp -56) -1) */
  if (*p != buf[-1])
    abort();
  p= &buf[49]; *p=4;		/* (+ fp -6) */
  if (*p != buf[49])
    abort();
  p = &buf[i+5]; *p=5;		/* (+ (+ fp -56) (+ i 5)) */
  if (*p != buf[i+5])
    abort ();
  p = buf - 1; *p=6;		/* (+ (+ fp -56) -1) */
  if (*p != buf[-1])
    abort ();
  p = 1 + buf; *p=7;		/* (+ (+ fp -56) 1) */
  if (*p != buf[1])
    abort ();
  p = &buf[1] - 1; *p=8;	/* (+ (+ fp -56) -1) */
  if (*p != buf[0])
    abort ();
  p = &buf2[45555]; *p=9;	/* (+ (+ fp -56) 51) */
  if (*p != buf2[45555])
    abort ();
}

int main()
{
  test(10);
  exit(0);
}