Header file to main.c for microblaze