#![inline]
type a = bool;