Check that number of actual args matches number of kernel args.
Debug routine: only executed for debug build.