1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3 # include <stdio.h> 4 main(int argc,char * argv[])5 int main(int argc, char *argv[]) { 6 printf("Hello world!\n"); 7 return 0; 8 } 9