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