#ifndef KMI_PRINTF_H
#define KMI_PRINTF_H

#include <kmi/attrs.h>

int printf(const char *fmt, ...) __printf;

#endif /* KMI_PRINTF_H */