Symbol: sigvec32