Symbol: add_kernel_args_range