Cook the egg noodles in a big pan of boiling water until just tender, about 3–4 minutes. Drain, rinse under cold water and set aside.
Heat a wok and when it is very hot, pour in the oil, swirling it around to coat the sides. Stir-fry the garlic and chilli until the garlic is golden brown, then add the beef and stir well. Add the broccoli, lime leaves, fish sauce, soy sauce and st