Note to others: do not enable debugging in the checked-in code. It is for
testint purposes only.
#include <stdlib.h>
#include "mymemory.h"
#include <stdlib.h>
#include "mymemory.h"
#ifdef CONFIG_DEBUG
#define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0)
#ifdef CONFIG_DEBUG
#define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0)