1#ifndef BOLT_TEST_STUB_H
2#define BOLT_TEST_STUB_H
3
4void *memcpy(void *dest, const void *src, unsigned long n);
5void *memset(void *dest, int c, unsigned long n);
6int printf(const char *format, ...);
7void exit(int status);
8int puts(const char *s);
9int rand(void);
10
11#endif
12

source code of bolt/test/Inputs/stub.h