#include <stdio.h> int main(int argc, char *argv[]) { int t = 1, i = 2; do { t = t * i; i++; } while (i <= 5); printf("t = %d\n", t); return 0; }