typedef int (start) __attribute__ ((annotate ("an annotation")));