Symbol: wscons_syncops