#include <stdio.h> int main(void) { int i = 1; do{ printf("Hallo \n"); i++; } while (i <= 4); return 0; }