import Microsoft.SAL from SALAnnotation a select a, a.getDeclaration()