Symbol: SMT_TID_NIF_TEST