https://strategoxt.org/Tools/ATermFormat