uses Core; file VectorInt.cpp; mainconfig "" = "";