[PPL-devel] IntegerAnalysis/strings VECTOR.C VECTOR.H