Bug which appears on some architectures