capability: just use a 'u64' instead of a 'u32[2]' array