Notes on a dialect rewrite