AST: exit