LexingInfo: "lexing-info" = 'lexing-info'