type a = bool; // aaaaa
// bbbbb
// ccccc