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