DT_VERDEFNUM

var DT_VERDEFNUM: Int32 { get }