fn __atomic_fetch_nand_4(ptr: *u32, val: u32, model: i32) callconv(.c) u32
fn __atomic_fetch_nand_4(ptr: *u32, val: u32, model: i32) callconv(.c) u32 { return fetch_op_N(u32, .Nand, ptr, val, model); }