int main(int,char**)
{
  auto value = 0;
  return value;
}