void print_blanks(uint_fast8_t count);
int dump_mem(uint32_t startaddr, uint32_t len,
		void (*readfkt)(uint8_t *, uint32_t, uint8_t), char *title);