Another fix for the pointer aliasing problem