gettsx testcase should work now