We can just put the above string in here, as a C string (no need for the `UTF8String` dance).

The same applies below.