printf("%#x",0) should print 0 not 0x0
[musl] / src / stdio / getwc.c
2011-02-12 Rich Felkerinitial check-in, version 0.5.0