simulation only on x86-linux