1 sort bitvec 32 1 input 1