let[@inline] get_tid () = 0