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