main.cpp: Lambdas