Gadgets/Coliru: use rare symbols to attribute the output
Gadgets/Coliru: fix a bug in the output attribution