/* Hello world */

#include <stdio.h> int main(void){ printf("Hello world\n"); return 0; }

June 4, 2025