var DT_VERDEF: Int32 { get }