more information on dump_lambda_captures()