% this is a lexical comment, which is never seen by the grammar and
% thus can't be tested (well, not yet at least)
@comment(this is a comment entry, anything at all can go in it (as long
as parentheses are balanced), even {braces})
% this is a lexical comment, which is never seen by the grammar and
% thus can't be tested (well, not yet at least)
@comment(this is a comment entry, anything at all can go in it (as long
as parentheses are balanced), even {braces})