generation tool.  For now, it is just an s-expression beautifier using
our "non-specctra mode" version of s-expressions.