Local arguments in kernel