use Unicode integer character codes in character matchers