var DF_1_NODUMP: Int32 { get }