#include <stdio.h>

int main() {
	int c, haveReplaced;

	while ((c = getchar()) != EOF) {
		printf("printing char %d\n", c);
		haveReplaced = 0;

		if (c == ' ') {
			if (haveReplaced == 0) {
				putchar(c);
			}
			haveReplaced = 1;
		} else {
			putchar(c);
		}
	}

	return 0;
}