Code works with lates frenetic/pretty-syntax