#include void printResult(char c, int count) { printf("'%c' %d\n", c, count); }