#include <stdio.h>
int main() {
char destination[50];
snprintf(destination, 50, "Hello %s!", "World");
printf("%s", destination);
return 0;
}