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