ast de annotations