add extra comment in printf.h