Symbol: Opt_volatile