#ifndef PRINTF_H
#define PRINTF_H

int printf(const char* format, ...);

#endif