#declarative-specification