Stuff

#include <stdio.h>

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

     return 0;
}