Use data on SD card for controlling a servomotor

#include <stdio.h>
#include <stdlib.h>
#include <SdFat.h>
#include <SdFatUtil.h> 
#include <ctype.h>

 
Sd2Card card;
SdVolume volume;
SdFile root;
SdFile file;

char name[] = "Test.txt";     
char contents[256];           
char in_char=0;
char* val = "0";
int index=0;
int a;

void setup(void)
{  
    Serial.begin(115200); 
    pinMode(10, OUTPUT);       
    card.init();              
    volume.init(card);         
    root.openRoot(volume);        
}


void loop(void){    
   
    file.open(root, name, O_READ);    
     val[0] = file.read();
    while(val >=0){           
       val[0]=file.read();    
 char *str;
while ((str = strtok_r(val, ";", &val)) != NULL)    // delimiter is the semicolon
     
  int a = atoi(str);
   Serial.print(a);
delay(10);
    }
    
    file.close();    
      
}