Your program is wrong, it says int main, and then doesn't return an integer.



#include <stdio.h>

int main(void)
{
printf("Boot!\n");
return 0;