A C library that extends printf