15:19:39.901632 - Attempting to set thread name with 'pthread_setname_np()' to: TC_ho_int_a5_3