Green beans with olive oil and rosemary