#include <iostream>

void foo(int a, int b = 23) {
  std::cout << a << " " << b << std::endl;
}

int main( int argc, char** argv ) {
    auto g = [] (){ foo( 23 ); };
    g();
}