Symbol: immu_arg_t