var DT_FINI: Int32 { get }