chiark / gitweb /
Performance improvements in next_token