Implemented dump_print_message. Fixes #9