let
char_of_string s = s.[0]