else /* set the default value */
  {
    if (! args_info->@option_var_name@_arg && ! args_info->@option_var_name@_given)
      {
        args_info->@option_var_name@_arg = (@type@ *) malloc (sizeof (@type@));
        args_info->@option_var_name@_arg [0] = @default_value@;
        args_info->@option_var_name@_orig = (char **) malloc (sizeof (char *));
        args_info->@option_var_name@_orig [0] = NULL;
      }
  }