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