Specification generation script and first spec