Checking out the wcet values with pointers.. Not working..