+BEGIN /\n*</ BODY />\n*/ { begin record $2 }
+/\n*<[Vv][Aa][Rr][ ]+/ /[^ >]+/ /[ ]+/ /[^ >]+/ /[ ]+/ /[^ >]+/ /[ ]*>/ {
+ begin variant $1 $3 $5
+ }
+/\n*</ BODY />\n*/ { begin element $1 }
+/\n*<\// BODY />\n*/ { end element -record }
+/[ \n\t]+/ { data " " }