is that mysterious bug non-ascii? then let us not use it! ;D
actually i would suggest #.