(u64) x