Does this get type-converted to a NULL? I'm worried only the lower 32 bits will get initialized like the other union bug we had.