class ir_intel_x86(ir_intel):
  def __init__(self):
    self.address_size = 32
    ir_intel.__init__(self)
    return