65. Wok with shrimp