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