Add untested kernel function