export DSL check