16:50:10.020536 - Attempting to set thread name with 'pthread_setname_np()' to: TC_assignment_f