let
annot_re =
Str
.regexp
"^\\([a-z]+\\)(\n\ \\(\\([^\n)]\\|.)\\|\n[^)]\\)*\\)\n)"