introduce quicker To.chars()