Whyever the dangling parens? The OpenGOAL decompilation has many dangling parens too - they're a rather odd sight when moving around S-expressions (dodging the issue of if it's "Lisp" or not). I guess WAST and SMT-LIB producers are a mixed bag too.