What character encoding does this expect? I'm looking at symbol in last1120c/c00.c and can't figure it out.