pub const BTF_INT_BOOL: u32 = 4;