add a PointerToken
move code away from tavor.go