Documented wxmaxima_debug_dump_output.