#include <stdio.h>
#include <stdint.h>
int main(){
    uint64_t msg[] = {0x57202c6f6c6c6548, 0x21646c726f};
    puts((char *)msg);
    return 0;
}