Would it be possible to put the actual character here instead of `\xab` and `\xbb`? I don't remember what they become, and even if you tell me now, I probably won't in a few months again ;)