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