lamkins_completion_with_boxing.patch