random dumpAST