dump_handler
static inline void dump_handler(const char *symbol, void *start, void *end)
static inline void dump_handler(const char *symbol, const void *start, const void *end)