A few more additions to wman.c to account for symbol encoding.