an example of the update to ast