Issue #36, Issue #32 related to kernel.setArg() alignment with spec