Well, you should use emacs :D. Indeed it is a non-ASCII character. I used due to the limitations of our binutils backend.