void g0(), g1(), g2(), g3(), g4(), g5(), g6();

int main(int n) {
    void *x;
    switch(n) {
      case 0:
      default:
	g0();
	break;
      case 1:
      label1:
	x = label1;
	g1(x);
	break;
      case 2:
	g2();
	break;
      case 3:
	g3();
	break;
      case 4:
	g4();
	break;
      case 5:
	g5();
	break;
      case 6:
	g6();
	break;
    }
    return 0;
}

void g0(){}
void g1(){}
void g2(){}
void g3(){}
void g4(){}
void g5(){}
void g6(){}