kernel.setArg argument validation