#include "format.h"
extern __attribute__((format(printf, 1, 2))) void tformatprintf0 (const char *, ...);
extern void __attribute__((format(printf, 1, 2))) tformatprintf1 (const char *, ...);
extern void foo (void), __attribute__((format(printf, 1, 2))) tformatprintf2 (const char *, ...);
extern __attribute__((noreturn)) void bar (void), __attribute__((format(printf, 1, 2))) tformatprintf3 (const char *, ...);
void
baz (int i, int *ip, double d)
{
tformatprintf0 ("%d", i);
tformatprintf0 ("%");
tformatprintf1 ("%d", i);
tformatprintf1 ("%");
tformatprintf2 ("%d", i);
tformatprintf2 ("%");
tformatprintf3 ("%d", i);
tformatprintf3 ("%");
}