带有标签volatile flip-flop wedges的模型