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