Removed codespec. Integrated C abstractions.