returns the label; otherwise, returns a null pointer. If
VLS's width is greater than MAX_SHORT_STRING, always returns a
null pointer. */
returns the label; otherwise, returns a null pointer. If
VLS's width is greater than MAX_SHORT_STRING, always returns a
null pointer. */