SealedAttribute, StaticConstructor and EmptyFinalizer