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