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