#3984 : maybe it is an SSE alignment problem