//////////////////////////////
Visitor methods start here //
//////////////////////////////
We don't of course need to call some default implementation:
e.g. we could also simply output \"Code\" instead of a possibly
lengthy Code attribute's toString().