It’s necessary to reparse the kernel, could have the same name but not the same num of args …..