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