check number of arguments to the kernel