uses Core; file Vector.cpp optimize_speed; mainconfig "" = "";