pub proof fn ghost_thread_id() -> tracked res : IsThread
Returns just the ghost object, without physically obtaining the thread ID.