program undump;
{
	undump is a program to take the output from dump
	and put it into binary format.
}