type string = [char; _];