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