RCM_DEBUG_HIGH
if (get_message_priority() < RCM_DEBUG_HIGH)
vdprintfe(RCM_DEBUG_HIGH, format, alist);
(void) set_message_priority(RCM_DEBUG_HIGH);
if (get_message_priority() < ((level == STDL_HIGH) ? RCM_DEBUG_HIGH