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