An experiment with tagged Symbols