int to_ascii(char c);