*sigh* Handle lines like (note the blank!):
{-# LINE 1 "<command line>" #-}
-- Haskell-style line pragmas, of the form
-- {-# LINE <line> "<file>" #-}
<line_prag2> $digit+ { set_line line_prag2a }
-- Haskell-style line pragmas, of the form
-- {-# LINE <line> "<file>" #-}
<line_prag2> $digit+ { set_line line_prag2a }
-<line_prag2a> \" $graphic* \" { set_file line_prag2b }
+<line_prag2a> \" [$graphic \ ]* \" { set_file line_prag2b }
<line_prag2b> "#-}" { pop }
<0,glaexts> {
<line_prag2b> "#-}" { pop }
<0,glaexts> {