Partially implementing the dump code