Renamed Av vector to Available and Alocation to Allocation