static int dummy = 0;
