int main(int argc, char* argv[])
{
	// It is crucial that this process never terminates and always is runnable.
	while(true);
	return 0;
}