extracting spec & compiling