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