private static void loadOtherClasses()
    {
        String[] classNames = new String[]{
            "acteve.symbolic.array.BooleanArrayConstant",
            "acteve.symbolic.array.ShortArrayConstant",
            "acteve.symbolic.array.ByteArrayConstant",
            "acteve.symbolic.array.CharArrayConstant",
            "acteve.symbolic.array.IntegerArrayConstant",
            "acteve.symbolic.array.LongArrayConstant",
            "acteve.symbolic.array.FloatArrayConstant",
            "acteve.symbolic.array.DoubleArrayConstant",
            "acteve.symbolic.integer.Algebraic",
            "acteve.symbolic.Util",
            "acteve.symbolic.integer.IntegerConstant",
            "acteve.symbolic.integer.LongConstant",
            "acteve.symbolic.integer.FloatConstant",
            "acteve.symbolic.integer.DoubleConstant",
            "acteve.symbolic.integer.RefConstant"
        };

        for(String cname : classNames)
            Scene.v().loadClassAndSupport(cname);

        G.symOpsClass = SymOpsClassGenerator.generate();

//      if(!config.isSDK())
//          Scene.v().loadClassAndSupport(G.SYMOPS_CLASS_NAME);
    }