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