1 sort bitvec 5
3 input 1 x
3 input 1 y