IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS
case IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS:
[IFS_MISMATCH_ARGUMENTS_BETWEEN_THREADS] = "Mismatch in arguments between threads T0/T1.",