var ODK_REGINFO: Int32 { get }