How do you cook old pinto beans?