main()
{
printf(“Goodbye D. Ritchien”);
}
/* the original hello world looked like this */