#!/bin/sh generate_dump() { test -n "$1" || exit 1 cat <