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