class start
{
  __attribute__((annotate("an annotation"))) int method(int);
};