/* this shows trying to pass free a bad pointer */ #include "mk.h" MALLOC_CHECK_DECL(); int main(void) { char *ptr = MK(1); F(ptr + 1); return (EXIT_SUCCESS); }