Symbol: smlFreeTag