Symbol: s2mps11_volatile