Cooking string beans with garlic