redflag DSL