Work on defining overloaded kernels