Fix a soundness bug in tagged unions that have fields larger than one word.  This fix uses memset to clear such fields, although we could probably optimize this if needed.
Fix a soundness bug in tagged unions that have fields larger than one word.  This fix uses memset to clear such fields, although we could probably optimize this if needed.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c