fix strict-aliasing