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