UDSL_MAX_SND_URBS
__MODULE_STRING(UDSL_MAX_SND_URBS) ", default: "
|| (num_snd_urbs > UDSL_MAX_SND_URBS)