convert to ast