#ifndef __PRINT_H__
#define __PRINT_H__

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

#endif // __PRINT_H__