#include<stdio.h>

typedef int bob;

int main(){
	bob x = 100;

	printf("x = %d\n", x);
}