mustnot_broken   7032 string.c       	    mustnot_broken(spat);
mustnot_broken   7126 string.c       	mustnot_broken(str);
mustnot_broken   8233 string.c           mustnot_broken(str);