trying to improve char-symbol handling