#include int main(void) { printf("Hello from minimal test\n"); return 0; }