1 sort bitvec 5
2 sort bitvec 8
3 input 2
5 uext 2 3 4