tokenize: don't use overspec code