var VER_DEF_NUM: Int32 { get }