1 // SPDX-License-Identifier: GPL-2.0 2 #include <stdio.h> main(void)3 int main(void) 4 { 5 printf("Hello World!\n"); 6 return 0; 7 } 8