#ifdef HAVE_CONFIG_H #include <config.h> #endif #include <stdio.h> #include <stdlib.h> int main(int argc, char *argv[]) { printf("Hello, world!\n"); return EXIT_SUCCESS; }