#include <stdio.h>
typedef int DATATYPE;
#define PRINT_DATATYPE "%d"

int main() {
	DATATYPE i = 1;
	printf("i = " PRINT_DATATYPE "\n",i);
	return 0;
}