#1 add dsl spec