#include <stdio.h>main(){ printf("Goodbye, Dennis Ritchie");}
main()
{
printf("Goodbye, Dennis Ritchie");
}