type a = [bool; 8];