-/* use libcore */
-#define ir_printf lc_printf
-#define ir_fprintf lc_fprintf
-#define ir_snprintf lc_snprintf
-#define ir_vprintf lc_vprintf
-#define ir_vfprintf lc_vfprintf
-#define ir_vsnprintf lc_vsnprintf
-#define ir_obst_vprintf lc_voprintf
-
-#include <libcore/xprintf.h>
-