#NEWLINE# def translate_immediate_oprnd( self , operand ) : #NEWLINE# #INDENT# 'Translate REIL immediate operand to SMT.\n        ' #NEWLINE# if ( operand . size >= 4 ) : #NEWLINE# #INDENT# fmt = ( ( '#x%' + ( '%0003d' % ( operand . size / 4 ) ) ) + 'x' ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# fmt = '#b%1d' #NEWLINE# #UNINDENT# return smtlibv2 . BitVec ( operand . size , ( fmt % operand . immediate ) )