11int __wrap_printf(
const char* format, ...);
12int __wrap_vsnprintf(
char* str,
size_t size,
const char* format, va_list args);
13int __wrap_puts(
const char* str);
14int __wrap_putchar(
int ch);
15int __wrap_putc(
int ch, FILE* stream);
16int __wrap_snprintf(
char* str,
size_t size,
const char* format, ...);
17int __wrap_fflush(FILE* stream);
19int __wrap_fgetc(FILE* stream);
20int __wrap_getc(FILE* stream);
21int __wrap_getchar(
void);
22char* __wrap_fgets(
char* str,
size_t n, FILE* stream);
23int __wrap_ungetc(
int ch, FILE* stream);
25__attribute__((__noreturn__))
void __wrap___assert(
const char* file,
int line,
const char* e);
27__attribute__((__noreturn__))
void
28 __wrap___assert_func(
const char* file,
int line,
const char* func,
const char* e);