// Compiler options: -r:pp.dll -r:pi.dll

class Test {
        static void Main () {
                Provider p = new Provider ();
        }
}