let lower cfg = call_with_configuration cfg lower