Create mini-printf.h