char pointers

[Ron Natalie]

Actually they are of type char*, otherwise they would not be assignable to a
char* variable.

Nope, the standard clearly says in 2.13.4: A string literal has type "array of n const char".

There is special dispensation in the language that allows an implicit conversion to non-const
char for compatibility with a quarter century of sloppy C code.