1 sort bitvec 8
2 sort bitvec 32
3 sort array 1 2
4 input 3 mem
5 input 1 x
6 add 1 4 5