pub fn thread_id_as_u64_init() -> u64