>>532
void main(void){ printf("%s\n",buf); }