// Writes "Hello world!" to the console
#include <stdio.h>

int main(void){
  printf("Hello world!\n");
}