Typedef keyword with example

What will be output of following program?

void main()
{
typedef unsigned long int world;
world a=45;
printf(“%d”,a);
}
Output : 45