Type: Alias String to Array of Char. See #9.