revise AST, 1