Updated ast