Added debug dump macro to tools.h