auto verdopple = [](int x) { return x * 2; };