1 2 3 4 5 6 7 8 9 10 11
#ifndef PINOCCHIO_WRAPPER_H #define PINOCCHIO_WRAPPER_H #include <stdbool.h> #include <stdint.h> void *xmalloc(size_t); void *xrealloc(void *, size_t); bool streq(const char *, const char *); #endif /* !PINOCCHIO_WRAPPER_H */