Added stub code for dumping.

  This code is not even remotely ready yet, but it does update #186.