#[inline] type a = bool