Implemented declSpecSec