% 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})