log.h: add __attribute__ format printf