texstretch/main.c

#include <stdio.h>
#include <stdlib.h>

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