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