`#[cfg(target_arch = "x86")]` lines are not necessary since `extern "system"` also covers x86_64.