update: AST, tex...