fn __atomic_fetch_and_8(ptr: *u64, val: u64, model: i32) callconv(.c) u64
fn __atomic_fetch_and_8(ptr: *u64, val: u64, model: i32) callconv(.c) u64 { return fetch_op_N(u64, .And, ptr, val, model); }