#include <stdio.h> int main(void) { int i; for(i = 1; i < 11; i = i+1) printf("%d ", i); printf("terminating"); return 0; }