def _push(self, value):
assert isinstance(value, int) or isinstance(value, BitVec) and value.size == <NUM_LIT><EOL>if len(self.stack) >= <NUM_LIT>:<EOL><INDENT>raise StackOverflow()<EOL><DEDENT>if isinstance(value, int):<EOL><INDENT>value = value & TT256M1<EOL><DEDENT>value = simplify(value)<EOL>if isinstance(value, Constant) and not value.taint:<EOL><INDENT>value = value.value<EOL><DEDENT>self.stack.append(value)<EOL>
Push into the stack

      ITEM0
      ITEM1
      ITEM2
sp->  {empty}