@* The main function.
@f alpha tex
@f beta TeX
@c
int main()
{
  @<declarations@>@;
  
  phi = alpha/beta;
  switch(i){
  case 0: TeX = 3; goto harmful;
  case 1: TeX = 3.1; break;
  case 2: TeX = 3.14; break;
  default:  TeX = 3.14159;
  }
harmful:    ;
}
  

@
@<declarations@>=

  double phi, TeX;
  int i;