py-tiktoken is a stub port
