@example complains in that a case
@example takes Texinfo text as its argument, not verbatim text.
Thus you would have to change all @{} to @@ @{ @}.
But other than that, it should work.
If you don't want to munge your verbatim texts, I understand ...
In your macro trial, it needs to be \TEXT\ in the body (seemed to be
lacking the trailing backslash -- yeah, weird syntax), but I think
unbalanced verbatim braces are not a feasible case for anything (besides
simple @verbatim itself, as you've seen) to deal with.
Best,
Karl
