#!/usr/local/bin/tcc -run
#include <stdio.h>
void main(){
　printf("%c%c%c%c%c%c", 0x57, 0x41, 0x4B, 0x4F, 0x54, 0x55);
}