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 }
8