array implementation of wcet val is working fine..