Symbol: vdc_dk_arg_t