features documented in dsl.txt