modify to add an interface to return the C style name of a kernel function