1 #include <string.h>
2 
3 int
4 main(void)
5 {
6 	char buf[] = "hello world";
7 
8 	explicit_bzero(buf, sizeof(buf));
9 	return strcmp(buf, "");
10 }