An automata syntax in Sweet.js (based on http://cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/)