int to_upper_case(char c);