The constant pool version and symbol table, and possibly other places have integer overflow checks that might be undefined in C and C++. This code should explicitly check if it would overflow (version == max int) after increment to be pedantic.