#! /usr/bin/gawk -f
# Last edited on 2004-03-01 04:57:53 by stolfi

BEGIN { 
  c = 0; v = 999999; nv = 0;
  endv = 1;
  printf "@section 1 {b1}\n\n";
}

(endv) { 
  v++;
  if (v > nv) 
    { c++; 
      printf "@section 2 {c%d}\n\n", c;
      nv = 20 + int(20*rand()); 
      v = 1;
    }
  printf "@section 3 {v%d}\n\n", v;
  endv = 0;
}

/./ { 
  printf "  %s\n", $0;
  endv = ($0 ~ /[=]/);
  if (endv) { printf "\n"; }
}

END {
  printf "# \n# END OF TEXT\n";
}