#NEWLINE# def get_immediate_expr( self , immediate , size ) : #NEWLINE# #INDENT# 'Return a smt bit vector that represents an immediate value.\n        ' #NEWLINE# return self . _translator . translate_immediate_oprnd ( ReilImmediateOperand ( immediate , size ) )