Symbol: tlc_expect_fail