new helper: dump_emit()