pub const TYPE_INTERVAL_ARRAY_OID: u32 = 1187; // 1_187u32