void f()
{
    int theCount;
    ...
    for(theCount = 0; theCount < 10; theCount++){
        ...
    }
    ...
    for(theCount = 1; theCount < 20; theCount++){
        ...
    }
    ...
    return theCount;
}