#include <stdio.h>

void f(int argc)
{
  char test[argc];
  if(0)
  label:
    printf("boom!\n");
  goto label;
}

int main(int argc, char **argv)
{
  f(1);

  return 0;
}