revised version of ast