storage.adl
 1  v.push(y)
 2  
 3  v.pop()
 4  
 5  v.get(y)
 6  
 7  v.set(y, z)
 8  
 9  v.len()
10  
11  v.swap_remove(y)