void dump_range_to_file(uint32_t addr, uint32_t size, char *filename);
uint8_t *dump_range_to_memory(uint32_t addr, uint32_t size);
void dump_range_to_file(uint32_t addr, uint32_t size, char *filename);
uint8_t *dump_range_to_memory(uint32_t addr, uint32_t size);