Revert "First dump"

This reverts commit 0673f4f7dfd30ce39c15c4f557c7dc00fc2eade7.