printf("%#x",0) should print 0 not 0x0