Initial dump of the specification