pub const kADT_BOOL: EATTRIBUTE_DATATYPE = 1i32;