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;