The illustration ch1a1.gif shows that a compiled module file generates a specifications file and a source code file as output.