//nolint
#include <stdio.h>
int main(int argc, char *argv[]) {
    printf("%s\n", "Hello world!");
}