[slime-devel] using chinese characters in SLIME