Prepared for typed kernels