python_lambda_double.py: