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