1#include <stdio.h>
2
3int main() {
4 printf(format: "Hello, world!\n");
5
6 return 0;
7}
8

source code of bolt/test/Inputs/hello.c