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