int test(void) {
  int i;
  i = 42;
  switch (i) {
  default: return 3;
  }
  return 0;
}