Create printf.h