Tagged vvtoken