#include<stdio.h> int main() { printf("Hello world\n"); for (int i=0; i<10; i++) printf("%d\n", i); }