Question: A question about union in C - store as one type and read as another - is it implementation defined?