Correctly get size_type in both kernels