Put them in a wok. Cook them until they release water. Let it cook in that water for a while until the water is about to disappear. Season it at this time. Then add olive oil, stir. And add garlic and green peppers. Stir occasionaly and cook until everything gets tender enough.