This seems to work correctly in flex 2.5.4, but not
2.5.33, so it may be a regression.
If you have the input file:
This [should [be]] verbatim.
Flex 2.5.33 produces:
This [should [be verbatim.
#line 453 "lex.yy.c"
Are the double closing brackets supposed to migrate