wrote a new format for visiting asts