this is a symbol library for fast use by utf8 code