#! /usr/bin/gawk -f
# Last edited on 2003-03-30 16:39:43 by stolfi

BEGIN {
  abort = -1;
  uso = ( ARGV[0] " < MODEL.txt " );
}
  
(abort >= 0) { exit(abort); }

/^ *([#]|$)/{ next; }

/^[0-9]+ +/ {
  num = $1;
  lin = $0; gsub(/^[0-9]+ +/, "", lin);
  gsub(/[«»]/, "\"", lin);
  
  filename = ( num "/model.txt" );
  print lin > filename;
  close(filename);
  next;
}

// {
  printf "%d: ** invalid format", FNR > "/dev/stderr";
  abort = 1;
  exit(abort);
}