#include int main (void) { int c, oldc = 0; while ((c = getchar ()) !=EOF) { if ( oldc == ' ' && c == ' ') ; else printf ("%c", c); oldc = c; } return 0; }