code: def var(self, name):
          ''' Get an n-bit named symbolic variable
  
          Returns:
              An :class:`MBAVariable` object representing a symbolic variable
  
          Example:
              >>> mba.var('x')
              Vec([
              x0,
              x1,
              x2,
              x3
              ])
          '''
  
          ret = self.from_vec(self.var_symbols(name)) 
          ret.name = name
          return ref var(self, name):
          ''' Get an n-bit named symbolic variable
  
          Returns:
              An :class:`MBAVariable` object representing a symbolic variable
  
          Example:
              >>> mba.var('x')
              Vec([
              x0,
              x1,
              x2,
              x3
              ])
          '''
  
          ret = self.from_vec(self.var_symbols(name)) 
          ret.name = name
          return ret
docs: Get an n-bit named symbolic variable
  
          Returns:
              An :class:`MBAVariable` object representing a symbolic variable
  
          Example:
              >>> mba.var('x')
              Vec([
              x0,
              x1,
              x2,
              x3
              ])