int main(void){
    int i;
    int a = 4;
    int b = 12;

    for (i = 0 ; i < b ; i++)
        a++;

    return a;
}

/* RETURN VALUE: 16 */