#include <stdio.h>

double fun(int i)
{
  volatile double d[1] = {3.14};
  volatile long int a[2];
  
  a[i] = 1073741824;

  return d[0];
}

int main(int argc, char ** argv) {
  double result;

  int arg;

  for (arg = 0; 1; arg++) {
    fprintf(stderr, "Calling fun(%d): ", arg);
    result = fun(arg);
    fprintf(stderr, "%12.9e\n", result);
  }

  return 0;
}