#include <stdio.h>
typedef int DATATYPE;
#define PRINT_DATATYPE "%d"
int main() {
DATATYPE i = 1;
printf("i = " PRINT_DATATYPE "\n",i);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CnR5cGVkZWYgaW50IERBVEFUWVBFOwojZGVmaW5lIFBSSU5UX0RBVEFUWVBFICIlZCIKCmludCBtYWluKCkgewoJREFUQVRZUEUgaSA9IDE7CglwcmludGYoImkgPSAiIFBSSU5UX0RBVEFUWVBFICJcbiIsaSk7CglyZXR1cm4gMDsKfQ==