Alan's copy of AST