Added builtin to-tokens function.
Fixed dis function.