debugging web_char_used_in_computation