Trying to eliminate pointer aliasing problems