code: def extract_element(self, vector, idx, name=''):
          
          instr = instructions.ExtractElement(self.block, vector, idx, name=name)
          self._insert(instr)
          return instr
docs: Returns the value at position idx.