use no strict aliasing for now