anvil testcase for TIMOB 6239