return [
            (a[1] << (32 - s)) | (a[0] >>> s),
            (a[0] << (32 - s)) | (a[1] >>> s),
        ];