SET -> SETcc