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