class ir_intel_x64(ir_intel):
  def __init__(self):
    self.address_size = 64
    ir_intel.__init__(self)
    return