class start
{
  __attribute__((deprecated)) ~start();
};