Added another generation target
Add generation of CFI ranges; added specs