printf("%#x",0) should print 0 not 0x0
[musl] / include / sys / syslog.h
1 #include <syslog.h>