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