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