micetools/src/micetools/micetest/main.c

#include "stdio.h"

int main() {
    puts("Hello world");
    return 0;
}