public int TestDerivedDummyClass(DerivedDummy x) { return x.random123(); }
public double TestDerivedDummy(DerivedDummy x) { return x.random123(); }