// Compiler options: -r:gtest-156-lib.dll

namespace FLMID.Bugs.Marshal15
{
  public class D : C
  {
    public this()
    {
      _layout =  X();
    }
    public static Main(_ :  array [string]) :  void
    {
      System.Console.WriteLine("OK");
    }
  }
}

// REFERENCE: gtest-156-lib

/*
BEGIN-OUTPUT
OK
END-OUTPUT
*/