regbankselect-extract-vector-elt.mir 1.31 KB