tlc_expect_fail
void tlc_expect_fail(const char *, wint_t);
tlc_expect_fail("<%lc>", 0x03c0);
tlc_expect_fail("<%lc>", 0x123456);