hello-world the first file #include<stdio.h> int main(void){ int a = 1; printf("%d\n", a); return 0; }