initial dsl spec