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