fn get_thread_id() -> u32