#include <stdio.h> int main() { printf("Goodbye world\n"); printf("%c%c%c Dennis Ritchie\n", 82, 73, 80); return -1; }