{
 p=index($0,"{")
}

/^[^%]section\{/ {
 noss=0
 nos++
 sub("\\\\MF","Metafont",$0)
 s=substr($0,p+1,index($0,"}")-p-1)
 printf "\\BOOKMARK [1][-]{section."
 if (nos < 16)
  print nos "}{" s "}{}"
 else
  printf "%c%s\n", nos+49, "}{" s "}{}"
}

/^[^%]subsection\{/ {
 noss++
 gsub("\\\\texttt\{|\\\\-|\{\}","",$0)
 gsub("\\\\","",$0)
 s=substr($0,p,index($0,"}")-p)
 print "\\BOOKMARK [2][-]{subsection." nos "." noss "}{" s "}{section." nos "}"
}