VMTranslator: make the vm translator use the tokenizer.
git file...