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