TINF_Thread

no such method: tip