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