type a = bool;
// aaaaa