/* for Dennis Ritchie */

#include<stdio.h>

main() { printf("Goodbye World"); return 0; }