SMACK_STAR_LABEL  154 src/shared/smack-util.c                         label = SMACK_STAR_LABEL;
SMACK_STAR_LABEL  158 src/shared/smack-util.c                         label = SMACK_STAR_LABEL;