- dump_message() isn't used anymore; remove it.