vvdi-mb-points-to-tokens