A domain specified language