/* Another one of those little programs that you want occasionally... */
int main(int argc, char **argv) {
	while (1) ;
}