int test(void) {
  int i;
  i = 42;
  switch (i) {
  case 41: return 1;
  case 42: return 2;
  }
  return 0;
}