Tip into a mortar and crush coarsely with the pestle, then stir in the sea-salt flakes. Heat a wok over ... then add the red chilli and spring onions and toss together very briefly.