#include "types.h"


void main(void)
{
    int i, j = 20;
    for (i = 0; i < 10; i++) {
        j--;
    }
}