#
#               multi-tk.rb - supports multi Tk interpreters
#                       by Hidetoshi NAGAI <nagai@ai.kyutech.ac.jp>

require 'tcltklib'
require 'tkutil'
require 'thread'

if defined? Tk
  fail RuntimeError,"'multi-tk' library must be required before requiring 'tk'"
end

################################################
# ignore exception on the mainloop?

TclTkLib.mainloop_abort_on_exception = true
# TclTkLib.mainloop_abort_on_exception = false
# TclTkLib.mainloop_abort_on_exception = nil


################################################
# add ThreadGroup check to TclTkIp.new
class << TclTkIp
  alias __new__ new
  private :__new__

  def new(*args)
    if Thread.current.group != ThreadGroup::Default
      raise SecurityError, 'only ThreadGroup::Default can call TclTkIp.new'
    end
    __new__(*args)
  end
end


################################################
# use pseudo-toplevel feature of MultiTkIp ?
if (!defined?(Use_PseudoToplevel_Feature_of_MultiTkIp) || 
      Use_PseudoToplevel_Feature_of_MultiTkIp)
  module MultiTkIp_PseudoToplevel_Evaluable
    #def pseudo_toplevel_eval(body = Proc.new)
    #  Thread.current[:TOPLEVEL] = self
    #  begin
    #    body.call
    #  ensure
    #    Thread.current[:TOPLEVEL] = nil
    #  end
    #end

    def pseudo_toplevel_evaluable?
      @pseudo_toplevel_evaluable
    end

    def pseudo_toplevel_evaluable=(mode)
      @pseudo_toplevel_evaluable = (mode)? true: false
    end

    def self.extended(mod)
      mod.__send__(:extend_object, mod)
      mod.instance_variable_set('@pseudo_toplevel_evaluable', true)
    end
  end

  class Object
    alias __method_missing_alias_for_MultiTkIp__ method_missing
    private :__method_missing_alias_for_MultiTkIp__

    def method_missing(id, *args)
      begin
        has_top = (top = MultiTkIp.__getip.__pseudo_toplevel) && 
          top.respond_to?(:pseudo_toplevel_evaluable?) && 
          top.pseudo_toplevel_evaluable? && 
          top.respond_to?(id)
      rescue Exception => e
        has_top = false
      end

      if has_top
        top.__send__(id, *args)
      else
        __method_missing_alias_for_MultiTkIp__(id, *args)
      end
    end
  end
else
  # dummy
  module MultiTkIp_PseudoToplevel_Evaluable
    def pseudo_toplevel_evaluable?
      false
    end
  end
end

################################################
# exceptiopn to treat the return value from IP
class MultiTkIp_OK < Exception
  def self.send(thread, ret=nil)
    thread.raise self.new(ret)
  end

  def initialize(ret=nil)
    super('succeed')
    @return_value = ret
  end

  attr_reader :return_value
  alias value return_value
end
MultiTkIp_OK.freeze


################################################
# methods for construction
class MultiTkIp
  BASE_DIR = File.dirname(__FILE__)

  @@SLAVE_IP_ID = ['slave'.freeze, '0'.taint].freeze

  @@IP_TABLE = {}.taint unless defined?(@@IP_TABLE)

  @@INIT_IP_ENV  = [].taint unless defined?(@@INIT_IP_ENV)  # table of Procs
  @@ADD_TK_PROCS = [].taint unless defined?(@@ADD_TK_PROCS) # table of [name, args, body]

  @@TK_TABLE_LIST = [].taint unless defined?(@@TK_TABLE_LIST)

  unless defined?(@@TK_CMD_TBL)
    @@TK_CMD_TBL = Object.new.taint

    @@TK_CMD_TBL.instance_variable_set('@tbl', {}.taint)

    class << @@TK_CMD_TBL
      allow = [
        '__send__', '__id__', 'freeze', 'inspect', 'kind_of?', 
        '[]', '[]=', 'delete', 'each', 'has_key?'
      ]
      instance_methods.each{|m| undef_method(m) unless allow.index(m)}

      def kind_of?(klass)
        @tbl.kind_of?(klass)
      end

      def inspect
        if Thread.current.group == ThreadGroup::Default
          @tbl.inspect
        else
          ip = MultiTkIp.__getip
          @tbl.reject{|idx, ent| ent.respond_to?(:ip) && ent.ip != ip}.inspect
        end
      end

      def [](idx)
        return unless (ent = @tbl[idx])
        if Thread.current.group == ThreadGroup::Default
          ent
        elsif ent.respond_to?(:ip)
          (ent.ip == MultiTkIp.__getip)? ent: nil
        else
          ent
        end
      end

      def []=(idx,val)
        if self.has_key?(idx) && Thread.current.group != ThreadGroup::Default
          fail SecurityError,"cannot change the entried command"
        end
        @tbl[idx] = val
      end

      def delete(idx, &blk)
        # if gets an entry, is permited to delete
        if self[idx]
          @tbl.delete(idx) 
        elsif blk
          blk.call(idx)
        else
          nil
        end
      end

      def each(&blk)
        if Thread.current.group == ThreadGroup::Default
          @tbl.each(&blk)
        else
          ip = MultiTkIp.__getip
          @tbl.each{|idx, ent|
            blk.call(idx, ent) unless ent.respond_to?(:ip) && ent.ip != ip
          }
        end
        self
      end

      def has_key?(k)
        @tbl.has_key?(k)
      end
      alias include? has_key?
      alias key? has_key?
      alias member? has_key?
    end

    @@TK_CMD_TBL.freeze
  end

  ######################################

  @@CB_ENTRY_CLASS = Class.new(TkCallbackEntry){
    def initialize(ip, cmd)
      @ip = ip
      @cmd = cmd
      freeze
    end
    attr_reader :ip, :cmd
    def inspect
      cmd.inspect
    end
    def call(*args)
      unless @ip.deleted?
        current = Thread.current
        backup_ip = current['callback_ip']
        current['callback_ip'] = @ip
        begin
          ret = @ip.cb_eval(@cmd, *args)
          fail ret if ret.kind_of?(Exception)
          ret
        rescue TkCallbackBreak, TkCallbackContinue => e
          fail e
	rescue SecurityError => e
          # in 'exit', 'exit!', and 'abort' : security error --> delete IP
          if e.backtrace[0] =~ /^(.+?):(\d+):in `(exit|exit!|abort)'/
	    @ip.delete
          elsif @ip.safe?
	    if @ip.respond_to?(:cb_error)
              @ip.cb_error(e)
            else
              nil # ignore
            end
          else
            fail e
          end
        rescue Exception => e
          fail e if e.message =~ /^TkCallback/

          if @ip.safe?
	    if @ip.respond_to?(:cb_error)
              @ip.cb_error(e)
            else
              nil # ignore
            end
          else
            fail e
          end
        ensure
          current['callback_ip'] = backup_ip
        end
      end
    end
  }.freeze

  ######################################

  def _keys2opts(src_keys)
    return nil if src_keys == nil
    keys = {}; src_keys.each{|k, v| keys[k.to_s] = v}
    #keys.collect{|k,v| "-#{k} #{v}"}.join(' ')
    keys.collect{|k,v| "-#{k} #{TclTkLib._conv_listelement(TkComm::_get_eval_string(v))}"}.join(' ')
  end
  private :_keys2opts

  def _check_and_return(thread, exception, wait=0)
    unless thread
      unless exception.kind_of?(MultiTkIp_OK)
        msg = "#{exception.class}: #{exception.message}"

        if @interp.deleted?
          warn("Warning (#{self}): " + msg)
          return nil
        end

        if safe?
          warn("Warning (#{self}): " + msg) if $DEBUG
          return nil
        end

        begin
          @interp._eval_without_enc(@interp._merge_tklist('bgerror', msg))
        rescue Exception => e
          warn("Warning (#{self}): " + msg)
        end
      end
      return nil
    end

    if wait == 0
      # no wait
      Thread.pass
      if thread.stop?
        thread.raise exception
      end
      return thread
    end

    # wait to stop the caller thread
    wait.times{
      if thread.stop?
        # ready to send exception
        thread.raise exception
        return thread
      end

      # wait
      Thread.pass
    }

    # unexpected error
    thread.raise RuntimeError, "the thread may not wait for the return value"
    return thread
  end

  ######################################

  def set_cb_error(cmd = Proc.new)
    @cb_error_proc[0] = cmd
  end

  def cb_error(e)
    if @cb_error_proc[0].respond_to?(:call)
      @cb_error_proc[0].call(e)
    end
  end

  ######################################

  def set_safe_level(safe)
    if safe > @safe_level[0]
      @safe_level[0] = safe
      @cmd_queue.enq([@system, 'set_safe_level', safe])
    end
    @safe_level[0]
  end
  def safe_level=(safe)
    set_safe_level(safe)
  end
  def self.set_safe_level(safe)
    __getip.set_safe_level(safe)
  end
  def self.safe_level=(safe)
    self.set_safe_level(safe)
  end
  def safe_level
    @safe_level[0]
  end
  def self.safe_level
    __getip.safe_level
  end

  def wait_on_mainloop?
    @wait_on_mainloop[0]
  end
  def wait_on_mainloop=(bool)
    @wait_on_mainloop[0] = bool
  end

  def running_mainloop?
    @wait_on_mainloop[1] > 0
  end

  def _destroy_slaves_of_slaveIP(ip)
    unless ip.deleted?
      # ip._split_tklist(ip._invoke('interp', 'slaves')).each{|name|
      ip._split_tklist(ip._invoke_without_enc('interp', 'slaves')).each{|name|
        name = _fromUTF8(name)
        begin
          # ip._eval_without_enc("#{name} eval {foreach i [after info] {after cancel $i}}")
          after_ids = ip._eval_without_enc("#{name} eval {after info}")
          ip._eval_without_enc("#{name} eval {foreach i {#{after_ids}} {after cancel $i}}")
        rescue Exception
        end
        begin
          # ip._invoke('interp', 'eval', name, 'destroy', '.')
          ip._invoke(name, 'eval', 'destroy', '.')
        rescue Exception
        end

        # safe_base?
        if ip._eval_without_enc("catch {::safe::interpConfigure #{name}}") == '0'
          begin
            ip._eval_without_enc("::safe::interpDelete #{name}")
          rescue Exception
          end
        end
=begin
        if ip._invoke('interp', 'exists', name) == '1'
          begin
            ip._invoke(name, 'eval', 'exit')
          rescue Exception
          end
        end
=end
        unless ip.deleted?
          if ip._invoke('interp', 'exists', name) == '1'
            begin
              ip._invoke('interp', 'delete', name)
            rescue Exception
            end
          end
        end
      }
    end
  end

  def _receiver_eval_proc_core(safe_level, thread, cmd, *args)
    begin
      #ret = proc{$SAFE = safe_level; cmd.call(*args)}.call
      #ret = cmd.call(safe_level, *args)
      normal_ret = false
      ret = catch(:IRB_EXIT) do  # IRB hack
        retval = cmd.call(safe_level, *args)
        normal_ret = true
        retval
      end
      unless normal_ret
        # catch IRB_EXIT
        exit(ret)
      end
      ret
    rescue SystemExit => e
      # delete IP
      unless @interp.deleted?
        @slave_ip_tbl.each{|name, subip| 
          _destroy_slaves_of_slaveIP(subip)
          begin
            # subip._eval_without_enc("foreach i [after info] {after cancel $i}")
            after_ids = subip._eval_without_enc("after info")
            subip._eval_without_enc("foreach i {#{after_ids}} {after cancel $i}")
          rescue Exception
          end
=begin
          begin
            subip._invoke('destroy', '.') unless subip.deleted?
          rescue Exception
          end
=end
          # safe_base?
          if @interp._eval_without_enc("catch {::safe::interpConfigure #{name}}") == '0'
            begin
              @interp._eval_without_enc("::safe::interpDelete #{name}")
            rescue Exception
            else
              next if subip.deleted?
            end
          end
          if subip.respond_to?(:safe_base?) && subip.safe_base? && 
              !subip.deleted?
            # do 'exit' to call the delete_hook procedure
            begin
              subip._eval_without_enc('exit') 
            rescue Exception
            end
          else
            begin
              subip.delete unless subip.deleted?
            rescue Exception
            end
          end
        }

        begin
          # @interp._eval_without_enc("foreach i [after info] {after cancel $i}")
          after_ids = @interp._eval_without_enc("after info")
          @interp._eval_without_enc("foreach i {#{after_ids}} {after cancel $i}")
        rescue Exception
        end
        begin
          @interp._invoke('destroy', '.') unless @interp.deleted?
        rescue Exception
        end
        if @safe_base && !@interp.deleted?
          # do 'exit' to call the delete_hook procedure
          @interp._eval_without_enc('exit')
        else
          @interp.delete unless @interp.deleted?
        end
      end

      if e.backtrace[0] =~ /^(.+?):(\d+):in `(exit|exit!|abort)'/
        _check_and_return(thread, MultiTkIp_OK.new($3 == 'exit'))
      else
        _check_and_return(thread, MultiTkIp_OK.new(nil))
      end

      # if master? && !safe? && allow_ruby_exit?
      if !@interp.deleted? && master? && !safe? && allow_ruby_exit?
=begin
        ObjectSpace.each_object(TclTkIp){|obj|
          obj.delete unless obj.deleted?
        }
=end
        #exit(e.status)
        fail e
      end
      # break

    rescue SecurityError => e
      # in 'exit', 'exit!', and 'abort' : security error --> delete IP
      if e.backtrace[0] =~ /^(.+?):(\d+):in `(exit|exit!|abort)'/
        ret = ($3 == 'exit')
        unless @interp.deleted?
          @slave_ip_tbl.each{|name, subip|
            _destroy_slaves_of_slaveIP(subip)
            begin
              # subip._eval_without_enc("foreach i [after info] {after cancel $i}")
              after_ids = subip._eval_without_enc("after info")
              subip._eval_without_enc("foreach i {#{after_ids}} {after cancel $i}")
            rescue Exception
            end
=begin
            begin
              subip._invoke('destroy', '.') unless subip.deleted?
            rescue Exception
            end
=end
            # safe_base?
            if @interp._eval_without_enc("catch {::safe::interpConfigure #{name}}") == '0'
              begin
                @interp._eval_without_enc("::safe::interpDelete #{name}")
              rescue Exception
              else
                next if subip.deleted?
              end
            end
            if subip.respond_to?(:safe_base?) && subip.safe_base? && 
                !subip.deleted?
              # do 'exit' to call the delete_hook procedure
              begin
                subip._eval_without_enc('exit') 
              rescue Exception
              end
            else
              begin
                subip.delete unless subip.deleted?
              rescue Exception
              end
            end
          }

          begin
            # @interp._eval_without_enc("foreach i [after info] {after cancel $i}")
            after_ids = @interp._eval_without_enc("after info")
            @interp._eval_without_enc("foreach i {#{after_ids}} {after cancel $i}")
          rescue Exception
          end
=begin
          begin
            @interp._invoke('destroy', '.') unless @interp.deleted?
          rescue Exception
          end
=end
          if @safe_base && !@interp.deleted?
            # do 'exit' to call the delete_hook procedure
            @interp._eval_without_enc('exit')
          else
            @interp.delete unless @interp.deleted?
          end
        end
        _check_and_return(thread, MultiTkIp_OK.new(ret))
        # break

      else
        # raise security error
        _check_and_return(thread, e)
      end

    rescue Exception => e
      # raise exception
      begin
        bt = _toUTF8(e.backtrace.join("\n"))
        bt.instance_variable_set(:@encoding, 'utf-8')
      rescue Exception
        bt = e.backtrace.join("\n")
      end
      begin
        @interp._set_global_var('errorInfo', bt)
      rescue Exception
      end
      _check_and_return(thread, e)

    else
      # no exception
      _check_and_return(thread, MultiTkIp_OK.new(ret))
    end
  end

  def _receiver_eval_proc(last_thread, safe_level, thread, cmd, *args)
    if thread
      Thread.new{
        last_thread.join if last_thread
        unless @interp.deleted?
          _receiver_eval_proc_core(safe_level, thread, cmd, *args)
        end
      }
    else
      Thread.new{
        unless  @interp.deleted?
          _receiver_eval_proc_core(safe_level, thread, cmd, *args)
        end
      }
      last_thread
    end
  end

  private :_receiver_eval_proc, :_receiver_eval_proc_core

  def _receiver_mainloop(check_root)
    if @evloop_thread[0] && @evloop_thread[0].alive?
      @evloop_thread[0]
    else
      @evloop_thread[0] = Thread.new{
	while !@interp.deleted?
	  #if check_root
	  #  inf = @interp._invoke_without_enc('info', 'command', '.')
	  #  break if !inf.kind_of?(String) || inf != '.'
	  #end
          break if check_root && !@interp.has_mainwindow?
	  sleep 0.5
	end
      }
      @evloop_thread[0]
    end
  end

  def _create_receiver_and_watchdog(lvl = $SAFE)
    lvl = $SAFE if lvl < $SAFE

    # command-procedures receiver
    receiver = Thread.new(lvl){|safe_level|
      last_thread = {}

      loop do
        break if @interp.deleted?
        thread, cmd, *args = @cmd_queue.deq
        if thread == @system
          # control command
          case cmd
          when 'set_safe_level'
            begin
              safe_level = args[0] if safe_level < args[0] 
            rescue Exception
            end
          when 'call_mainloop'
            thread = args.shift
            _check_and_return(thread, 
                              MultiTkIp_OK.new(_receiver_mainloop(*args)))
          else
            # ignore
          end

        else
          # procedure
          last_thread[thread] = _receiver_eval_proc(last_thread[thread], 
						    safe_level, thread, 
						    cmd, *args)
        end
      end
    }

    # watchdog of receiver
    watchdog = Thread.new{
      begin
        loop do
          sleep 1
          receiver.kill if @interp.deleted?
          break unless receiver.alive?
        end
      rescue Exception
        # ignore all kind of Exception
      end
      # receiver is dead
      loop do
        thread, cmd, *args = @cmd_queue.deq
        next unless thread
        if thread.alive?
          if @interp.deleted?
            thread.raise RuntimeError, 'the interpreter is already deleted'
          else
            thread.raise RuntimeError, 
              'the interpreter no longer receives command procedures'
          end
        end
      end
    }

    # return threads
    [receiver, watchdog]
  end
  private :_check_and_return, :_create_receiver_and_watchdog

  ######################################

  if self.const_defined? :DEFAULT_MASTER_NAME
    name = DEFAULT_MASTER_NAME.to_s
  else
    name = nil
  end
  if self.const_defined?(:DEFAULT_MASTER_OPTS) &&
      DEFAULT_MASTER_OPTS.kind_of?(Hash)
    keys = DEFAULT_MASTER_OPTS
  else
    keys = {}
  end

  @@DEFAULT_MASTER = self.allocate
  @@DEFAULT_MASTER.instance_eval{
    @tk_windows = {}.taint

    @tk_table_list = [].taint

    @slave_ip_tbl = {}.taint

    @slave_ip_top = {}.taint

    @evloop_thread = [].taint

    unless keys.kind_of? Hash
      fail ArgumentError, "expecting a Hash object for the 2nd argument"
    end

    @interp = TclTkIp.new(name, _keys2opts(keys))
    @ip_name = nil

    @callback_status = [].taint

    @system = Object.new

    @wait_on_mainloop = [true, 0].taint

    @threadgroup  = Thread.current.group

    @safe_base = false

    @safe_level = [$SAFE]

    @cmd_queue = Queue.new

    @cmd_receiver, @receiver_watchdog = _create_receiver_and_watchdog(@safe_level[0])

    @threadgroup.add @cmd_receiver
    @threadgroup.add @receiver_watchdog

    # NOT enclose @threadgroup for @@DEFAULT_MASTER

    @@IP_TABLE[ThreadGroup::Default] = self
    @@IP_TABLE[@threadgroup] = self

    #################################

    @pseudo_toplevel = [false, nil]

    def self.__pseudo_toplevel
      Thread.current.group == ThreadGroup::Default && 
        MultiTkIp.__getip == @@DEFAULT_MASTER &&
        self.__pseudo_toplevel_evaluable? && @pseudo_toplevel[1]
    end

    def self.__pseudo_toplevel=(m)
      unless (Thread.current.group == ThreadGroup::Default && 
                MultiTkIp.__getip == @@DEFAULT_MASTER)
        fail SecurityError, "no permission to manipulate"
      end

      # if m.kind_of?(Module) && m.respond_to?(:pseudo_toplevel_evaluable?)
      if m.respond_to?(:pseudo_toplevel_evaluable?)
        @pseudo_toplevel[0] = true
        @pseudo_toplevel[1] = m
      else
        fail ArgumentError, 'fail to set pseudo-toplevel'
      end
      self
    end

    def self.__pseudo_toplevel_evaluable?
      begin
        @pseudo_toplevel[0] && @pseudo_toplevel[1].pseudo_toplevel_evaluable?
      rescue Exception
        false
      end
    end

    def self.__pseudo_toplevel_evaluable=(mode)
      unless (Thread.current.group == ThreadGroup::Default && 
                MultiTkIp.__getip == @@DEFAULT_MASTER)
        fail SecurityError, "no permission to manipulate"
      end

      @pseudo_toplevel[0] = (mode)? true: false
    end

    #################################

    @assign_request = Class.new(Exception){
      def self.new(target, ret)
        obj = super()
        obj.target = target
        obj.ret = ret
        obj
      end
      attr_accessor :target, :ret
    }

    @assign_thread = Thread.new{
      loop do
        begin
          Thread.stop
        rescue @assign_request=>req
          begin
            req.ret[0] = req.target.instance_eval{
              @cmd_receiver, @receiver_watchdog = 
                _create_receiver_and_watchdog(@safe_level[0])
              @threadgroup.add @cmd_receiver
              @threadgroup.add @receiver_watchdog
              @threadgroup.enclose
              true
            }
          rescue Exception=>e
            begin
              req.ret[0] = e
            rescue Exception
              # ignore
            end
          end
        rescue Exception
          # ignore
        end
      end
    }

    def self.assign_receiver_and_watchdog(target)
      ret = [nil]
      @assign_thread.raise(@assign_request.new(target, ret))
      while ret[0] == nil
        unless @assign_thread.alive?
          raise RuntimeError, 'lost the thread to assign a receiver and a watchdog thread'
        end
      end
      if ret[0].kind_of?(Exception)
        raise ret[0]
      else
        ret[0]
      end
    end

    #################################

    @init_ip_env_queue = Queue.new
    Thread.new{
      current = Thread.current
      loop {
        mtx, ret, table, script = @init_ip_env_queue.deq
        begin        
          ret[0] = table.each{|tg, ip| ip._init_ip_env(script) }
        rescue Exception => e
          ret[0] = e
        ensure
          mtx.unlock
        end
      }
    }

    def self.__init_ip_env__(table, script)
      ret = []
      mtx = Mutex.new.lock
      @init_ip_env_queue.enq([mtx, ret, table, script])
      mtx.lock
      if ret[0].kind_of?(Exception)
        raise ret[0]
      else
        ret[0]
      end
    end

    #################################

    class << self
      undef :instance_eval
    end
  }

  @@DEFAULT_MASTER.freeze # defend against modification

  ######################################

  def self.inherited(subclass)
    # trust if on ThreadGroup::Default or @@DEFAULT_MASTER's ThreadGroup
    if @@IP_TABLE[Thread.current.group] == @@DEFAULT_MASTER
      begin
        class << subclass
          self.methods.each{|m|
            begin
              unless m == '__id__' || m == '__send__' || m == 'freeze'
                undef_method(m)
              end
            rescue Exception
              # ignore all exceptions
            end
          }
        end
      ensure
        subclass.freeze
        fail SecurityError, 
          "cannot create subclass of MultiTkIp on a untrusted ThreadGroup"
      end
    end
  end

  ######################################

  @@SAFE_OPT_LIST = [
    'accessPath'.freeze, 
    'statics'.freeze, 
    'nested'.freeze, 
    'deleteHook'.freeze
  ].freeze

  def _parse_slaveopts(keys)
    name = nil
    safe = false
    safe_opts = {}
    tk_opts   = {}

    keys.each{|k,v|
      k_str = k.to_s
      if k_str == 'name'
        name = v 
      elsif k_str == 'safe'
        safe = v
      elsif @@SAFE_OPT_LIST.member?(k_str)
        safe_opts[k_str] = v
      else
        tk_opts[k_str] = v
      end
    }

    if keys['without_tk'] || keys[:without_tk]
      [name, safe, safe_opts, nil]
    else
      [name, safe, safe_opts, tk_opts]
    end
  end
  private :_parse_slaveopts

  def _create_slave_ip_name
    name = @@SLAVE_IP_ID.join('')
    @@SLAVE_IP_ID[1].succ!
    name.freeze
  end
  private :_create_slave_ip_name

  ######################################

  def __check_safetk_optkeys(optkeys)
    # based on 'safetk.tcl'
    new_keys = {}
    optkeys.each{|k,v| new_keys[k.to_s] = v}

    # check 'display'
    if !new_keys.key?('display')
      begin
        #new_keys['display'] = @interp._invoke('winfo screen .')
        new_keys['display'] = @interp._invoke('winfo', 'screen', '.')
      rescue
        if ENV[DISPLAY]
          new_keys['display'] = ENV[DISPLAY]
        elsif !new_keys.key?('use')
          warn "Warning: no screen info or ENV[DISPLAY], so use ':0.0'"
          new_keys['display'] = ':0.0'
        end
      end
    end

    # check 'use'
    if new_keys.key?('use')
      # given 'use'
      case new_keys['use']
      when TkWindow
        new_keys['use'] = TkWinfo.id(new_keys['use'])
        #assoc_display = @interp._eval('winfo screen .')
        assoc_display = @interp._invoke('winfo', 'screen', '.')
      when /^\..*/
        new_keys['use'] = @interp._invoke('winfo', 'id', new_keys['use'])
        assoc_display = @interp._invoke('winfo', 'screen', new_keys['use'])
      else
        begin
          pathname = @interp._invoke('winfo', 'pathname', new_keys['use'])
          assoc_display = @interp._invoke('winfo', 'screen', pathname)
        rescue
          assoc_display = new_keys['display']
        end
      end

      # match display?
      if assoc_display != new_keys['display']
        if optkeys.key?(:display) || optkeys.key?('display')
          fail RuntimeError, 
            "conflicting 'display'=>#{new_keys['display']} " + 
            "and display '#{assoc_display}' on 'use'=>#{new_keys['use']}"
        else
          new_keys['display'] = assoc_display
        end
      end
    end

    # return
    new_keys
  end
  private :__check_safetk_optkeys

  def __create_safetk_frame(slave_ip, slave_name, app_name, keys)
    # display option is used by ::safe::loadTk
    loadTk_keys = {}
    loadTk_keys['display'] = keys['display']
    dup_keys = keys.dup

    # keys for toplevel : allow followings
    toplevel_keys = {}
    ['height', 'width', 'background', 'menu'].each{|k|
      toplevel_keys[k] = dup_keys.delete(k) if dup_keys.key?(k)
    }
    toplevel_keys['classname'] = 'SafeTk'
    toplevel_keys['screen'] = dup_keys.delete('display')

    # other keys used by pack option of container frame

    # create toplevel widget
    begin
      top = TkToplevel.new(toplevel_keys)
    rescue NameError => e
      fail e unless @interp.safe?
      fail SecurityError, "unable create toplevel on the safe interpreter"
    end
    msg = "Untrusted Ruby/Tk applet (#{slave_name})"
    if app_name.kind_of?(String)
      top.title "#{app_name} (#{slave_name})"
    else
      top.title msg
    end

    # procedure to delete slave interpreter
    slave_delete_proc = proc{
      unless slave_ip.deleted?
        #if slave_ip._invoke('info', 'command', '.') != ""
        #  slave_ip._invoke('destroy', '.')
        #end
        #slave_ip.delete
        slave_ip._eval_without_enc('exit')
      end
      begin
        top.destroy if top.winfo_exist?
      rescue
        # ignore
      end
    }
    tag = TkBindTag.new.bind('Destroy', slave_delete_proc)

    top.bindtags = top.bindtags.unshift(tag)

    # create control frame
    TkFrame.new(top, :bg=>'red', :borderwidth=>3, :relief=>'ridge') {|fc|
      fc.bindtags = fc.bindtags.unshift(tag)

      TkFrame.new(fc, :bd=>0){|f|
        TkButton.new(f, 
                     :text=>'Delete', :bd=>1, :padx=>2, :pady=>0, 
                     :highlightthickness=>0, :command=>slave_delete_proc
                     ).pack(:side=>:right, :fill=>:both)
        f.pack(:side=>:right, :fill=>:both, :expand=>true)
      }

      TkLabel.new(fc, :text=>msg, :padx=>2, :pady=>0, 
                  :anchor=>:w).pack(:side=>:left, :fill=>:both, :expand=>true)

      fc.pack(:side=>:bottom, :fill=>:x)
    }

    # container frame for slave interpreter
    dup_keys['fill'] = :both  unless dup_keys.key?('fill')
    dup_keys['expand'] = true unless dup_keys.key?('expand')
    c = TkFrame.new(top, :container=>true).pack(dup_keys)
    c.bind('Destroy', proc{top.destroy})

    # return keys
    loadTk_keys['use'] = TkWinfo.id(c)
    [loadTk_keys, top.path]
  end
  private :__create_safetk_frame

  def __create_safe_slave_obj(safe_opts, app_name, tk_opts)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?

    # safe interpreter
    ip_name = _create_slave_ip_name
    slave_ip = @interp.create_slave(ip_name, true)
    @slave_ip_tbl[ip_name] = slave_ip
    def slave_ip.safe_base?
      true
    end

    @interp._eval("::safe::interpInit #{ip_name}")

    slave_ip._invoke('set', 'argv0', app_name) if app_name.kind_of?(String)

    if tk_opts
      tk_opts = __check_safetk_optkeys(tk_opts)
      if tk_opts.key?('use')
        @slave_ip_top[ip_name] = ''
      else
        tk_opts, top_path = __create_safetk_frame(slave_ip, ip_name, app_name, 
                                                  tk_opts)
        @slave_ip_top[ip_name] = top_path
      end
      @interp._eval("::safe::loadTk #{ip_name} #{_keys2opts(tk_opts)}")
    else
      @slave_ip_top[ip_name] = nil
    end

    if safe_opts.key?('deleteHook') || safe_opts.key?(:deleteHook)
      @interp._eval("::safe::interpConfigure #{ip_name} " + 
                    _keys2opts(safe_opts))
    else
      @interp._eval("::safe::interpConfigure #{ip_name} " + 
                    _keys2opts(safe_opts) + '-deleteHook {' + 
                    TkComm._get_eval_string(proc{|slave|
                                              self._default_delete_hook(slave)
                                            }) + '}')
    end

    [slave_ip, ip_name]
  end

  def __create_trusted_slave_obj(name, keys)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?

    ip_name = _create_slave_ip_name
    slave_ip = @interp.create_slave(ip_name, false)
    slave_ip._invoke('set', 'argv0', name) if name.kind_of?(String)
    slave_ip._invoke('set', 'argv', _keys2opts(keys))
    @interp._invoke('load', '', 'Tk', ip_name)
    @slave_ip_tbl[ip_name] = slave_ip
    [slave_ip, ip_name]
  end

  ######################################

  def _create_slave_object(keys={})
    raise SecurityError, "no permission to manipulate" unless self.manipulable?

    ip = MultiTkIp.new_slave(self, keys={})
    @slave_ip_tbl[ip.name] = ip
  end

  ######################################

  def initialize(master, safeip=true, keys={})
    if $SAFE >= 4
      fail SecurityError, "cannot create a new interpreter at level #{$SAFE}"
    end

    if safeip == nil && $SAFE >= 2
      fail SecurityError, "cannot create a master-ip at level #{$SAFE}"
    end

    if master.deleted? && safeip == nil
      fail RuntimeError, "cannot create a slave of a deleted interpreter"
    end

    if !master.deleted? && !master.master? && master.safe?
      fail SecurityError, "safe-slave-ip cannot create a new interpreter"
    end

    if safeip == nil && !master.master?
      fail SecurityError, "slave-ip cannot create a master-ip"
    end

    unless keys.kind_of? Hash
      fail ArgumentError, "expecting a Hash object for the 2nd argument"
    end

    @tk_windows = {}
    @tk_table_list = []
    @slave_ip_tbl = {}
    @slave_ip_top = {}
    @cb_error_proc = []
    @evloop_thread = []

    @tk_windows.taint unless @tk_windows.tainted?
    @tk_table_list.taint unless @tk_table_list.tainted?
    @slave_ip_tbl.taint unless @slave_ip_tbl.tainted?
    @slave_ip_top.taint unless @slave_ip_top.tainted?
    @cb_error_proc.taint unless @cb_error_proc.tainted?
    @evloop_thread.taint unless @evloop_thread.tainted?

    @callback_status = []

    name, safe, safe_opts, tk_opts = _parse_slaveopts(keys)

    safe = 4 if safe && !safe.kind_of?(Fixnum)

    @safe_base = false

    if safeip == nil
      # create master-ip
      @interp = TclTkIp.new(name, _keys2opts(tk_opts))

      @ip_name = nil
      if safe
        safe = $SAFE if safe < $SAFE
        @safe_level = [safe]
      else
        @safe_level = [$SAFE]
      end
    else
      # create slave-ip
      if safeip || master.safe?
        @safe_base = true
        @interp, @ip_name = master.__create_safe_slave_obj(safe_opts, 
                                                           name, tk_opts)
        if safe
          safe = master.safe_level if safe < master.safe_level
          @safe_level = [safe]
        else
          @safe_level = [4]
        end
      else
        @interp, @ip_name = master.__create_trusted_slave_obj(name, tk_opts)
        if safe
          safe = master.safe_level if safe < master.safe_level
          @safe_level = [safe]
        else
          @safe_level = [master.safe_level]
        end
      end
      @set_alias_proc = proc{|name| 
        master._invoke('interp', 'alias', @ip_name, name, '', name)
      }.freeze
    end

    @system = Object.new

    @wait_on_mainloop = [true, 0].taint
    # @wait_on_mainloop = [false, 0].taint

    @threadgroup  = ThreadGroup.new

    @pseudo_toplevel = [false, nil]

    @cmd_queue = Queue.new

=begin
    @cmd_receiver, @receiver_watchdog = _create_receiver_and_watchdog(@safe_level[0])

    @threadgroup.add @cmd_receiver
    @threadgroup.add @receiver_watchdog

    @threadgroup.enclose
=end
    @@DEFAULT_MASTER.assign_receiver_and_watchdog(self)

    @@IP_TABLE[@threadgroup] = self
    _init_ip_internal(@@INIT_IP_ENV, @@ADD_TK_PROCS)
    @@TK_TABLE_LIST.size.times{ 
      (tbl = {}).tainted? || tbl.taint
      @tk_table_list << tbl
    }

    class << self
      undef :instance_eval
    end

    # dummy call for initialization
    self.eval_proc{ Tk.tk_call('set', 'tcl_patchLevel') }

    self.freeze  # defend against modification
  end

  ######################################

  def _default_delete_hook(slave)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @slave_ip_tbl.delete(slave)
    top = @slave_ip_top.delete(slave)
    if top.kind_of?(String)
      # call default hook of safetk.tcl (ignore exceptions)
      if top == ''
        begin
          @interp._eval("::safe::disallowTk #{slave}")
        rescue
          warn("Waring: fail to call '::safe::disallowTk'") if $DEBUG
        end
      else # toplevel path
        begin
          @interp._eval("::safe::tkDelete {} #{top} #{slave}")
        rescue
          warn("Waring: fail to call '::safe::tkDelete'") if $DEBUG
          begin
            @interp._eval("destroy #{top}")
          rescue
            warn("Waring: fail to destroy toplevel") if $DEBUG
          end
        end
      end
    end
  end

end


# get target IP
class MultiTkIp
  def self._ip_id_
    __getip._ip_id_
  end
  def _ip_id_
    # for RemoteTkIp
    ''
  end

  def self.__getip
    current = Thread.current
    if TclTkLib.mainloop_thread? != false && current['callback_ip']
      return current['callback_ip']
    end
    if current.group == ThreadGroup::Default
      @@DEFAULT_MASTER
    else
      ip = @@IP_TABLE[current.group]
      unless ip
        fail SecurityError, 
          "cannot call Tk methods on #{Thread.current.inspect}"
      end
      ip
    end
  end
end


# aliases of constructor
class << MultiTkIp
  alias __new new
  private :__new


  def new_master(safe=nil, keys={})
    if safe.kind_of?(Hash)
      keys = safe
    elsif safe.kind_of?(Integer)
      raise ArgumentError, "unexpected argument(s)" unless keys.kind_of?(Hash)
      if !keys.key?(:safe) && !keys.key?('safe')
        keys[:safe] = safe
      end
    elsif safe == nil
      # do nothing
    else
      raise ArgumentError, "unexpected argument(s)"
    end

    ip = __new(__getip, nil, keys)
    #ip.eval_proc(proc{$SAFE=ip.safe_level; Proc.new}.call) if block_given?
     if block_given?
       Thread.new{ip.eval_proc(proc{$SAFE=ip.safe_level; Proc.new}.call)}
     end
    ip
  end

  alias new new_master

  def new_slave(safe=nil, keys={})
    if safe.kind_of?(Hash)
      keys = safe
    elsif safe.kind_of?(Integer)
      raise ArgumentError, "unexpected argument(s)" unless keys.kind_of?(Hash)
      if !keys.key?(:safe) && !keys.key?('safe')
        keys[:safe] = safe
      end
    elsif safe == nil
      # do nothing
    else
      raise ArgumentError, "unexpected argument(s)"
    end

    ip = __new(__getip, false, keys)
    # ip.eval_proc(proc{$SAFE=ip.safe_level; Proc.new}.call) if block_given?
    if block_given?
      Thread.new{ip.eval_proc(proc{$SAFE=ip.safe_level; Proc.new}.call)}
    end
    ip
  end
  alias new_trusted_slave new_slave

  def new_safe_slave(safe=4, keys={})
    if safe.kind_of?(Hash)
      keys = safe
    elsif safe.kind_of?(Integer)
      raise ArgumentError, "unexpected argument(s)" unless keys.kind_of?(Hash)
      if !keys.key?(:safe) && !keys.key?('safe')
        keys[:safe] = safe
      end
    else
      raise ArgumentError, "unexpected argument(s)"
    end

    ip = __new(__getip, true, keys)
    # ip.eval_proc(proc{$SAFE=ip.safe_level; Proc.new}.call) if block_given?
    if block_given?
      Thread.new{ip.eval_proc(proc{$SAFE=ip.safe_level; Proc.new}.call)}
    end
    ip
  end
  alias new_safeTk new_safe_slave
end


# get info
class MultiTkIp
  def inspect
    s = self.to_s.chop!
    if self.manipulable?
      if master?
        if @interp.deleted?
          s << ':deleted-master'
        else
          s << ':master'
        end
      else
        if @interp.deleted?
          s << ':deleted-slave'
        elsif @interp.safe?
          s << ':safe-slave'
        else
          s << ':trusted-slave'
        end
      end
    end
    s << '>'
  end

  def master?
    if @ip_name
      false
    else
      true
    end
  end
  def self.master?
    __getip.master?
  end

  def slave?
    not master?
  end
  def self.slave?
    not self.master?
  end

  def alive?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    begin
      return false unless @cmd_receiver.alive?
      return false if @interp.deleted?
      return false if @interp._invoke('interp', 'exists', '') == '0'
    rescue Exception
      return false
    end
    true
  end
  def self.alive?
    __getip.alive?
  end

  def path
    @ip_name || ''
  end
  def self.path
    __getip.path
  end
  def ip_name
    @ip_name || ''
  end
  def self.ip_name
    __getip.ip_name
  end
  def to_eval
    @ip_name || ''
  end
  def self.to_eval
    __getip.to_eval
  end

  def slaves(all = false)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp','slaves').split.map!{|name| 
      if @slave_ip_tbl.key?(name)
        @slave_ip_tbl[name]
      elsif all
        name
      else
        nil
      end
    }.compact!
  end
  def self.slaves(all = false)
    __getip.slaves(all)
  end

  def manipulable?
    return true if (Thread.current.group == ThreadGroup::Default)
    ip = MultiTkIp.__getip
    (ip == self) || ip._is_master_of?(@interp)
  end
  def self.manipulable?
    true
  end

  def _is_master_of?(tcltkip_obj)
    tcltkip_obj.slave_of?(@interp)
  end
  protected :_is_master_of?
end


# instance methods to treat tables
class MultiTkIp
  def _tk_cmd_tbl
    tbl = {}
    MultiTkIp.tk_cmd_tbl.each{|id, ent| tbl[id] = ent if ent.ip == self }
    tbl
  end

  def _tk_windows
    @tk_windows
  end

  def _tk_table_list
    @tk_table_list
  end

  def _add_new_tables
    (@@TK_TABLE_LIST.size - @tk_table_list.size).times{ 
      (tbl = {}).tainted? || tbl.taint
      @tk_table_list << tbl
    }
  end

  def _init_ip_env(script)
    self.eval_proc{script.call(self)}
  end

  def _add_tk_procs(name, args, body)
    return if slave?
    @interp._invoke('proc', name, args, body) if args && body
    @interp._invoke('interp', 'slaves').split.each{|slave|
      @interp._invoke('interp', 'alias', slave, name, '', name)
    }
  end

  def _remove_tk_procs(*names)
    return if slave?
    names.each{|name|
      name = name.to_s
      @interp._invoke('rename', name, '')
      @interp._invoke('interp', 'slaves').split.each{|slave|
        @interp._invoke('interp', 'alias', slave, name, '') rescue nil
      }
    }
  end

  def _init_ip_internal(init_ip_env, add_tk_procs)
    #init_ip_env.each{|script| self.eval_proc{script.call(self)}}
    init_ip_env.each{|script| self._init_ip_env(script)}
    add_tk_procs.each{|name, args, body| 
      if master?
        @interp._invoke('proc', name, args, body) if args && body
      else
        @set_alias_proc.call(name)
      end
    }
  end
end


# class methods to treat tables
class MultiTkIp
  def self.tk_cmd_tbl
    @@TK_CMD_TBL
  end
  def self.tk_windows
    __getip._tk_windows
  end
  def self.tk_object_table(id)
    __getip._tk_table_list[id]
  end
  def self.create_table
    if __getip.slave? 
      begin
        raise SecurityError, "slave-IP has no permission creating a new table"
      rescue SecurityError => e
        #p e.backtrace
        # Is called on a Ruby/Tk library?
        caller_info = e.backtrace[1]
        if caller_info =~ %r{^#{MultiTkIp::BASE_DIR}/(tk|tkextlib)/[^:]+\.rb:}
          # Probably, caller is a Ruby/Tk library  -->  allow creating
        else
          raise e
        end
      end
    end

    id = @@TK_TABLE_LIST.size
    obj = Object.new
    @@TK_TABLE_LIST << obj
    obj.instance_eval <<-EOD
      def self.method_missing(m, *args)
         MultiTkIp.tk_object_table(#{id}).__send__(m, *args)
      end
    EOD
    obj.freeze
    @@IP_TABLE.each{|tg, ip| ip._add_new_tables }
    return obj
  end

  def self.init_ip_env(script = Proc.new)
    @@INIT_IP_ENV << script
    if __getip.slave?
      begin
        raise SecurityError, "slave-IP has no permission initializing IP env"
      rescue SecurityError => e
        #p e.backtrace
        # Is called on a Ruby/Tk library?
        caller_info = e.backtrace[1]
        if caller_info =~ %r{^#{MultiTkIp::BASE_DIR}/(tk|tkextlib)/[^:]+\.rb:}
          # Probably, caller is a Ruby/Tk library  -->  allow creating
        else
          raise e
        end
      end
    end

    # @@IP_TABLE.each{|tg, ip| 
    #   ip._init_ip_env(script)
    # }
    @@DEFAULT_MASTER.__init_ip_env__(@@IP_TABLE, script)
  end

  def self.add_tk_procs(name, args=nil, body=nil)
    if name.kind_of?(Array) # => an array of [name, args, body]
      name.each{|param| self.add_tk_procs(*param)}
    else
      name = name.to_s
      @@ADD_TK_PROCS << [name, args, body]
      @@IP_TABLE.each{|tg, ip| 
        ip._add_tk_procs(name, args, body)
      }
    end
  end

  def self.remove_tk_procs(*names)
    names.each{|name|
      name = name.to_s
      @@ADD_TK_PROCS.delete_if{|elem| 
        elem.kind_of?(Array) && elem[0].to_s == name
      }
    }
    @@IP_TABLE.each{|tg, ip| 
      ip._remove_tk_procs(*names)
    }
  end

  def self.init_ip_internal
    __getip._init_ip_internal(@@INIT_IP_ENV, @@ADD_TK_PROCS)
  end
end


# for callback operation
class MultiTkIp
  def self.cb_entry_class
    @@CB_ENTRY_CLASS
  end
  def self.get_cb_entry(cmd)
    @@CB_ENTRY_CLASS.new(__getip, cmd).freeze
  end

=begin
  def cb_eval(cmd, *args)
    #self.eval_callback{ TkComm._get_eval_string(TkUtil.eval_cmd(cmd, *args)) }
    #ret = self.eval_callback{ TkComm._get_eval_string(TkUtil.eval_cmd(cmd, *args)) }
    ret = self.eval_callback(*args){|safe, *params|
      $SAFE=safe if $SAFE < safe
      TkComm._get_eval_string(TkUtil.eval_cmd(cmd, *params))
    }
    if ret.kind_of?(Exception)
      raise ret
    end
    ret
  end
=end
  def cb_eval(cmd, *args)
    self.eval_callback(*args){|safe, *params|
      $SAFE=safe if $SAFE < safe
      # TkUtil.eval_cmd(cmd, *params)
      TkComm._get_eval_string(TkUtil.eval_cmd(cmd, *params))
    }
  end
=begin
  def cb_eval(cmd, *args)
    @callback_status[0] ||= TkVariable.new
    @callback_status[1] ||= TkVariable.new
    st, val = @callback_status
    th = Thread.new{
      self.eval_callback(*args){|safe, *params|
        #p [status, val, safe, *params]
        $SAFE=safe if $SAFE < safe
        begin
          TkComm._get_eval_string(TkUtil.eval_cmd(cmd, *params))
        rescue TkCallbackContinue
          st.value = 4
        rescue TkCallbackBreak
          st.value = 3
        rescue TkCallbackReturn
          st.value = 2
        rescue Exception => e
          val.value = e.message
          st.value = 1
        else
          st.value = 0
        end
      }
    }
    begin
      st.wait
      status = st.numeric
      retval = val.value
    rescue => e
      fail e
    end

    if status == 1
      fail RuntimeError, retval
    elsif status == 2
      fail TkCallbackReturn, "Tk callback returns 'return' status"
    elsif status == 3
      fail TkCallbackBreak, "Tk callback returns 'break' status"
    elsif status == 4
      fail TkCallbackContinue, "Tk callback returns 'continue' status"
    else
      ''
    end
  end
=end

end

# pseudo-toplevel operation support
class MultiTkIp
  # instance method
  def __pseudo_toplevel
    ip = MultiTkIp.__getip
    (ip == @@DEFAULT_MASTER || ip == self) &&
      self.__pseudo_toplevel_evaluable? && @pseudo_toplevel[1]
  end

  def __pseudo_toplevel=(m)
    unless (Thread.current.group == ThreadGroup::Default && 
              MultiTkIp.__getip == @@DEFAULT_MASTER)
      fail SecurityError, "no permission to manipulate"
    end

    # if m.kind_of?(Module) && m.respond_to?(:pseudo_toplevel_evaluable?)
    if m.respond_to?(:pseudo_toplevel_evaluable?)
      @pseudo_toplevel[0] = true
      @pseudo_toplevel[1] = m
    else
      fail ArgumentError, 'fail to set pseudo-toplevel'
    end
    self
  end

  def __pseudo_toplevel_evaluable?
    begin
      @pseudo_toplevel[0] && @pseudo_toplevel[1].pseudo_toplevel_evaluable?
    rescue Exception
      false
    end
  end

  def __pseudo_toplevel_evaluable=(mode)
    unless (Thread.current.group == ThreadGroup::Default && 
              MultiTkIp.__getip == @@DEFAULT_MASTER)
      fail SecurityError, "no permission to manipulate"
    end

    @pseudo_toplevel[0] = (mode)? true: false
  end
end

# evaluate a procedure on the proper interpreter
class MultiTkIp
  # instance method
  def eval_proc_core(req_val, cmd, *args)
    # check
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    unless cmd.kind_of?(Proc) || cmd.kind_of?(Method)
      raise RuntimeError, "A Proc/Method object is expected for the 'cmd' argument"
    end

    # on IP thread
    if @cmd_receiver == Thread.current || 
        (!req_val && TclTkLib.mainloop_thread? != false) # callback
      begin
        ret = cmd.call(safe_level, *args)
      rescue SystemExit => e
        # exit IP
        warn("Warning: "+ $! + " on " + self.inspect) if $DEBUG
        begin
          self._eval_without_enc('exit')
        rescue Exception
        end
        self.delete
        ret = nil
      rescue Exception => e
        if $DEBUG
          warn("Warning: " + e.class.inspect + 
               ((e.message.length > 0)? ' "' + e.message + '"': '') +  
               " on " + self.inspect)
        end
=begin
        begin
          bt = _toUTF8(e.backtrace.join("\n"))
          bt.instance_variable_set(:@encoding, 'utf-8')
        rescue Exception
          bt = e.backtrace.join("\n")
        end
        begin
          @interp._set_global_var('errorInfo', bt)
        rescue Exception
        end
=end
        ret = e
      end
      return ret
    end

    # send cmd to the proc-queue
    unless req_val
      begin
        @cmd_queue.enq([nil, cmd, *args])
      rescue Exception => e
        # ignore
        if $DEBUG
          warn("Warning: " + e.class.inspect + 
               ((e.message.length > 0)? ' "' + e.message + '"': '') +  
               " on " + self.inspect) 
        end
        return e
      end
      return nil
    end

    # send and get return value by exception
    begin
      @cmd_queue.enq([Thread.current, cmd, *args])
      Thread.stop
    rescue MultiTkIp_OK => ret
      # return value
      return ret.value
    rescue SystemExit => e
      # exit IP
      warn("Warning: " + $! + " on " + self.inspect) if $DEBUG
      begin
        self._eval_without_enc('exit')
      rescue Exception
      end
      if !self.deleted? && !safe? && allow_ruby_exit?
        self.delete
        fail e
      else
        self.delete
      end
    rescue Exception => e
      if $DEBUG
        warn("Warning: " + e.class.inspect + 
             ((e.message.length > 0)? ' "' + e.message + '"': '') +  
             " on " + self.inspect) 
      end
      return e
    end
    return nil
  end
  private :eval_proc_core

  def eval_callback(*args)
    if block_given?
      cmd = Proc.new
    else
      cmd = args.shift
    end
    current = Thread.current
    backup_ip = current['callback_ip']
    current['callback_ip'] = self
    begin
      eval_proc_core(false, cmd, *args)
    ensure
      current['callback_ip'] = backup_ip
    end
  end

  def eval_proc(*args)
    # The scope of the eval-block of 'eval_proc' method is different from 
    # the external. If you want to pass local values to the eval-block, 
    # use arguments of eval_proc method. They are passed to block-arguments.
    if block_given?
      cmd = Proc.new
    else
      unless (cmd = args.shift)
        fail ArgumentError, "A Proc or Method object is expected for 1st argument"
      end
    end
    if TclTkLib.mainloop_thread? == true
      # call from eventloop
      current = Thread.current
      backup_ip = current['callback_ip']
      current['callback_ip'] = self
      begin
        eval_proc_core(false, 
	               proc{|safe, *params|
		         $SAFE=safe if $SAFE < safe
                         cmd.call(*params)
                       }, *args)
      ensure
        current['callback_ip'] = backup_ip
      end
    else
      eval_proc_core(true, 
                     proc{|safe, *params| 
                       $SAFE=safe if $SAFE < safe
                       Thread.new(*params, &cmd).value
                     },
                     *args)
    end
  end
  alias call eval_proc

  def bg_eval_proc(*args)
    if block_given?
      cmd = Proc.new
    else
      unless (cmd = args.shift)
        fail ArgumentError, "A Proc or Method object is expected for 1st argument"
      end
    end
    Thread.new{
      eval_proc(cmd, *args)
=begin
      eval_proc_core(false, 
                     proc{|safe, *params| 
                       $SAFE=safe if $SAFE < safe
                       Thread.new(*params, &cmd).value
                     },
                     safe_level, *args)
=end
    }
  end
  alias background_eval_proc bg_eval_proc
  alias thread_eval_proc bg_eval_proc
  alias bg_call bg_eval_proc
  alias background_call bg_eval_proc

  def eval_string(cmd, *eval_args)
    # cmd string ==> proc
    unless cmd.kind_of?(String)
      raise RuntimeError, "A String object is expected for the 'cmd' argument"
    end

    eval_proc_core(true, 
                   proc{|safe| 
                     Kernel.eval("$SAFE=#{safe} if $SAFE < #{safe};" << cmd,
                                 *eval_args)
                   })
  end
  alias eval_str eval_string

  def bg_eval_string(cmd, *eval_args)
    # cmd string ==> proc
    unless cmd.kind_of?(String)
      raise RuntimeError, "A String object is expected for the 'cmd' argument"
    end
    Thread.new{
      eval_proc_core(true, 
                     proc{|safe| 
                       Kernel.eval("$SAFE=#{safe} if $SAFE < #{safe};" << cmd,
                                   *eval_args)
                     })
    }
  end
  alias background_eval_string bg_eval_string
  alias bg_eval_str bg_eval_string
  alias background_eval_str bg_eval_string

  def eval(*args, &blk)
    if block_given?
      eval_proc(*args, &blk)
    elsif args[0]
      if args[0].respond_to?(:call)
        eval_proc(*args)
      else
        eval_string(*args)
      end
    else
      fail ArgumentError, "no argument to eval"
    end
  end

  def bg_eval(*args, &blk)
    if block_given?
      bg_eval_proc(*args, &blk)
    elsif args[0]
      if args[0].respond_to?(:call)
        bg_eval_proc(*args)
      else
        bg_eval_string(*args)
      end
    else
      fail ArgumentError, "no argument to eval"
    end
  end
  alias background_eval bg_eval
end

class << MultiTkIp
  # class method
  def eval_proc(*args, &blk)
    # class ==> interp object
    __getip.eval_proc(*args, &blk)
  end
  alias call eval_proc

  def bg_eval_proc(*args, &blk)
    # class ==> interp object
    __getip.bg_eval_proc(*args, &blk)
  end
  alias background_eval_proc bg_eval_proc
  alias thread_eval_proc bg_eval_proc
  alias bg_call bg_eval_proc
  alias background_call bg_eval_proc

  def eval_string(cmd, *eval_args)
    # class ==> interp object
    __getip.eval_string(cmd, *eval_args)
  end
  alias eval_str eval_string

  def bg_eval_string(cmd, *eval_args)
    # class ==> interp object
    __getip.bg_eval_string(cmd, *eval_args)
  end
  alias background_eval_string bg_eval_string
  alias bg_eval_str bg_eval_string
  alias background_eval_str bg_eval_string

  def eval(*args, &blk)
    # class ==> interp object
    __getip.eval(*args, &blk)
  end
  def bg_eval(*args, &blk)
    # class ==> interp object
    __getip.bg_eval(*args, &blk)
  end
  alias background_eval bg_eval
end


# event loop
# all master/slave IPs are controled by only one event-loop
class << MultiTkIp
  def mainloop(check_root = true)
    __getip.mainloop(check_root)
  end
  def mainloop_watchdog(check_root = true)
    __getip.mainloop_watchdog(check_root)
  end
  def do_one_event(flag = TclTkLib::EventFlag::ALL)
    __getip.do_one_event(flag)
  end
  def mainloop_abort_on_exception
    # __getip.mainloop_abort_on_exception
    TclTkLib.mainloop_abort_on_exception
  end
  def mainloop_abort_on_exception=(mode)
    # __getip.mainloop_abort_on_exception=(mode)
    TclTkLib.mainloop_abort_on_exception=(mode)
  end
  def set_eventloop_tick(tick)
    __getip.set_eventloop_tick(tick)
  end
  def get_eventloop_tick
    __getip.get_eventloop_tick
  end
  def set_no_event_wait(tick)
    __getip.set_no_event_wait(tick)
  end
  def get_no_event_wait
    __getip.get_no_event_wait
  end
  def set_eventloop_weight(loop_max, no_event_tick)
    __getip.set_eventloop_weight(loop_max, no_event_tick)
  end
  def get_eventloop_weight
    __getip.get_eventloop_weight
  end
end

# class methods to delegate to TclTkIp
class << MultiTkIp
  def method_missing(id, *args)
    __getip.__send__(id, *args)
  end

  def make_safe
    __getip.make_safe
  end

  def safe?
    __getip.safe?
  end

  def safe_base?
    begin
      __getip.safe_base?
    rescue
      false
    end
  end

  def allow_ruby_exit?
    __getip.allow_ruby_exit?
  end

  def allow_ruby_exit= (mode)
    __getip.allow_ruby_exit = mode
  end

  def delete
    __getip.delete
  end

  def deleted?
    __getip.deleted?
  end

  def has_mainwindow?
    __getip.has_mainwindow?
  end

  def invalid_namespace?
    __getip.invalid_namespace?
  end

  def abort(msg = nil)
    __getip.abort(msg)
  end

  def exit(st = true)
    __getip.exit(st)
  end

  def exit!(st = false)
    __getip.exit!(st)
  end

  def restart(app_name = nil, keys = {})
    init_ip_internal

    __getip._invoke('set', 'argv0', app_name) if app_name
    if keys.kind_of?(Hash)
      __getip._invoke('set', 'argv', _keys2opts(keys))
    end

    __getip.restart
  end

  def _eval(str)
    __getip._eval(str)
  end

  def _invoke(*args)
    __getip._invoke(*args)
  end

  def _eval_without_enc(str)
    __getip._eval_without_enc(str)
  end

  def _invoke_without_enc(*args)
    __getip._invoke_without_enc(*args)
  end

  def _eval_with_enc(str)
    __getip._eval_with_enc(str)
  end

  def _invoke_with_enc(*args)
    __getip._invoke_with_enc(*args)
  end

  def _toUTF8(str, encoding=nil)
    __getip._toUTF8(str, encoding)
  end

  def _fromUTF8(str, encoding=nil)
    __getip._fromUTF8(str, encoding)
  end

  def _thread_vwait(var)
    __getip._thread_vwait(var)
  end

  def _thread_tkwait(mode, target)
    __getip._thread_tkwait(mode, target)
  end

  def _return_value
    __getip._return_value
  end

  def _get_variable(var, flag)
    __getip._get_variable(var, flag)
  end
  def _get_variable2(var, idx, flag)
    __getip._get_variable2(var, idx, flag)
  end
  def _set_variable(var, value, flag)
    __getip._set_variable(var, value, flag)
  end
  def _set_variable2(var, idx, value, flag)
    __getip._set_variable2(var, idx, value, flag)
  end
  def _unset_variable(var, flag)
    __getip._unset_variable(var, flag)
  end
  def _unset_variable2(var, idx, flag)
    __getip._unset_variable2(var, idx, flag)
  end

  def _get_global_var(var)
    __getip._get_global_var(var)
  end
  def _get_global_var2(var, idx)
    __getip._get_global_var2(var, idx)
  end
  def _set_global_var(var, value)
    __getip._set_global_var(var, value)
  end
  def _set_global_var2(var, idx, value)
    __getip._set_global_var2(var, idx, value)
  end
  def _unset_global_var(var)
    __getip._unset_global_var(var)
  end
  def _unset_global_var2(var, idx)
    __getip._unset_global_var2(var, idx)
  end

  def _make_menu_embeddable(menu_path)
    __getip._make_menu_embeddable(menu_path)
  end

  def _split_tklist(str)
    __getip._split_tklist(str)
  end
  def _merge_tklist(*args)
    __getip._merge_tklist(*args)
  end
  def _conv_listelement(arg)
    __getip._conv_listelement(arg)
  end

  def _create_console
    __getip._create_console
  end
end


# wrap methods on TclTkLib : not permit calling TclTkLib module methods
class << TclTkLib
  def mainloop(check_root = true)
    MultiTkIp.mainloop(check_root)
  end
  def mainloop_watchdog(check_root = true)
    MultiTkIp.mainloop_watchdog(check_root)
  end
  def do_one_event(flag = TclTkLib::EventFlag::ALL)
    MultiTkIp.do_one_event(flag)
  end
  #def mainloop_abort_on_exception
  #  MultiTkIp.mainloop_abort_on_exception
  #end
  #def mainloop_abort_on_exception=(mode)
  #  MultiTkIp.mainloop_abort_on_exception=(mode)
  #end
  def set_eventloop_tick(tick)
    MultiTkIp.set_eventloop_tick(tick)
  end
  def get_eventloop_tick
    MultiTkIp.get_eventloop_tick
  end
  def set_no_event_wait(tick)
    MultiTkIp.set_no_event_wait(tick)
  end
  def get_no_event_wait
    MultiTkIp.get_no_event_wait
  end
  def set_eventloop_weight(loop_max, no_event_tick)
    MultiTkIp.set_eventloop_weight(loop_max, no_event_tick)
  end
  def get_eventloop_weight
    MultiTkIp.get_eventloop_weight
  end
  def restart(*args)
    MultiTkIp.restart(*args)
  end

  def _merge_tklist(*args)
    MultiTkIp._merge_tklist(*args)
  end
  def _conv_listelement(arg)
    MultiTkIp._conv_listelement(arg)
  end
end


# depend on TclTkIp
class MultiTkIp
  def mainloop(check_root = true, restart_on_dead = true)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    #return self if self.slave?
    #return self if self != @@DEFAULT_MASTER
    if self != @@DEFAULT_MASTER
      if @wait_on_mainloop[0]
        begin
          @wait_on_mainloop[1] += 1
          if $SAFE >= 4
	    _receiver_mainloop(check_root).join
          else
            @cmd_queue.enq([@system, 'call_mainloop', 
                            Thread.current, check_root])
            Thread.stop
          end
        rescue MultiTkIp_OK => ret
          # return value
          if ret.value.kind_of?(Thread)
            return ret.value.value
          else
            return ret.value
          end
        rescue SystemExit => e
          # exit IP
          warn("Warning: " + $! + " on " + self.inspect) if $DEBUG
          begin
            self._eval_without_enc('exit')
          rescue Exception
          end
          self.delete
        rescue StandardError => e
          if $DEBUG
            warn("Warning: " + e.class.inspect + 
                 ((e.message.length > 0)? ' "' + e.message + '"': '') +  
                 " on " + self.inspect) 
          end
          return e
        rescue Exception => e
	  return e
        ensure
          @wait_on_mainloop[1] -= 1
        end
      end
      return
    end

    unless restart_on_dead
      @wait_on_mainloop[1] += 1
=begin
      begin
        @interp.mainloop(check_root)
      rescue StandardError => e
        if $DEBUG
          warn("Warning: " + e.class.inspect + 
               ((e.message.length > 0)? ' "' + e.message + '"': '') +  
               " on " + self.inspect) 
        end
      end
=end
      begin
	@interp.mainloop(check_root)
      ensure
	@wait_on_mainloop[1] -= 1
      end
    else
      loop do
        break unless self.alive?
        if check_root
          begin
            break if TclTkLib.num_of_mainwindows == 0
          rescue StandardError
            break
          end
        end
        break if @interp.deleted?
        begin
	  @wait_on_mainloop[1] += 1
          @interp.mainloop(check_root)
        rescue StandardError => e
          if TclTkLib.mainloop_abort_on_exception != nil
            #STDERR.print("Warning: Tk mainloop receives ", $!.class.inspect, 
            #             " exception (ignore) : ", $!.message, "\n");
            if $DEBUG
              warn("Warning: Tk mainloop receives " << e.class.inspect <<
                   " exception (ignore) : " << e.message);
            end
          end
          #raise e
        rescue Exception => e
=begin
          if TclTkLib.mainloop_abort_on_exception != nil
            #STDERR.print("Warning: Tk mainloop receives ", $!.class.inspect, 
            #             " exception (ignore) : ", $!.message, "\n");
            if $DEBUG
              warn("Warning: Tk mainloop receives " << e.class.inspect <<
                   " exception (ignore) : " << e.message);
            end
          end
=end
          raise e
        ensure
          @wait_on_mainloop[1] -= 1
          Thread.pass  # avoid eventloop conflict
        end
      end
    end
    self
  end

  def make_safe
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.make_safe
  end

  def safe?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.safe?
  end

  def safe_base?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @safe_base
  end

  def allow_ruby_exit?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.allow_ruby_exit?
  end

  def allow_ruby_exit= (mode)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.allow_ruby_exit = mode
  end

  def delete
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @slave_ip_tbl.each{|name, subip|
      _destroy_slaves_of_slaveIP(subip)
=begin
      begin
        subip._invoke('destroy', '.') unless subip.deleted?
      rescue Exception
      end
=end
      begin
        # subip._eval_without_enc("foreach i [after info] {after cancel $i}")
	unless subip.deleted?
	  after_ids = subip._eval_without_enc("after info")
	  subip._eval_without_enc("foreach i {#{after_ids}} {after cancel $i}")
	end
      rescue Exception
      end

      # safe_base?
      if @interp._eval_without_enc("catch {::safe::interpConfigure #{name}}") == '0'
        begin
          @interp._eval_without_enc("::safe::interpDelete #{name}")
        rescue Exception
        else
          next if subip.deleted?
        end
      end
      if subip.respond_to?(:safe_base?) && subip.safe_base? && 
          !subip.deleted?
        # do 'exit' to call the delete_hook procedure
        begin
          subip._eval_without_enc('exit') 
        rescue Exception
        end
      else
        begin
          subip.delete unless subip.deleted?
        rescue Exception
        end
      end
    }

    begin
      # @interp._eval_without_enc("foreach i [after info] {after cancel $i}")
      after_ids = @interp._eval_without_enc("after info")
      @interp._eval_without_enc("foreach i {#{after_ids}} {after cancel $i}")
    rescue Exception
    end

    begin
      @interp._invoke('destroy', '.') unless @interp.deleted?
    rescue Exception
    end

    if @safe_base && !@interp.deleted?
      # do 'exit' to call the delete_hook procedure
      @interp._eval_without_enc('exit')
    end
    @interp.delete
    self
  end

  def deleted?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.deleted?
  end

  def has_mainwindow?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.has_mainwindow?
  end

  def invalid_namespace?
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.invalid_namespace?
  end

  def abort(msg = nil)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if master? && !safe? && allow_ruby_exit?
      if msg
        Kernel.abort(msg)
      else
        Kernel.abort
      end
    else
      # ignore msg
      delete
      1
    end
  end

  def exit(st = true)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if master? && !safe? && allow_ruby_exit?
      Kernel.exit(st)
    else
      delete
      st
    end
  end

  def exit!(st = false)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if master? && !safe? && allow_ruby_exit?
      Kernel.exit!(st)
    else
      delete
      st
    end
  end

  def restart(app_name = nil, keys = {})
    raise SecurityError, "no permission to manipulate" unless self.manipulable?

    _init_ip_internal(@@INIT_IP_ENV, @@ADD_TK_PROCS)

    @interp._invoke('set', 'argv0', app_name) if app_name
    if keys.kind_of?(Hash)
      @interp._invoke('set', 'argv', _keys2opts(keys))
    end

    @interp.restart
  end

  def __eval(str)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.__eval(str)
  end

  def __invoke(*args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.__invoke(*args)
  end

  def _eval(str)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._eval(str)
  end

  def _invoke(*args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke(*args)
  end

  def _eval_without_enc(str)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._eval_without_enc(str)
  end

  def _invoke_without_enc(*args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke_without_enc(*args)
  end

  def _eval_with_enc(str)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._eval_with_enc(str)
  end

  def _invoke_with_enc(*args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke_with_enc(*args)
  end

  def _toUTF8(str, encoding=nil)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._toUTF8(str, encoding)
  end

  def _fromUTF8(str, encoding=nil)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._fromUTF8(str, encoding)
  end

  def _thread_vwait(var)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._thread_vwait(var)
  end

  def _thread_tkwait(mode, target)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._thread_tkwait(mode, target)
  end

  def _return_value
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._return_value
  end

  def _get_variable(var, flag)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._get_variable(var, flag)
  end
  def _get_variable2(var, idx, flag)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._get_variable2(var, idx, flag)
  end
  def _set_variable(var, value, flag)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._set_variable(var, value, flag)
  end
  def _set_variable2(var, idx, value, flag)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._set_variable2(var, idx, value, flag)
  end
  def _unset_variable(var, flag)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._unset_variable(var, flag)
  end
  def _unset_variable2(var, idx, flag)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._unset_variable2(var, idx, flag)
  end

  def _get_global_var(var)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._get_global_var(var)
  end
  def _get_global_var2(var, idx)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._get_global_var2(var, idx)
  end
  def _set_global_var(var, value)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._set_global_var(var, value)
  end
  def _set_global_var2(var, idx, value)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._set_global_var2(var, idx, value)
  end
  def _unset_global_var(var)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._unset_global_var(var)
  end
  def _unset_global_var2(var, idx)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._unset_global_var2(var, idx)
  end

  def _make_menu_embeddable(menu_path)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._make_menu_embeddable(menu_path)
  end

  def _split_tklist(str)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._split_tklist(str)
  end
  def _merge_tklist(*args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._merge_tklist(*args)
  end
  def _conv_listelement(arg)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._conv_listelement(arg)
  end
end


# interp command support
class MultiTkIp
  def _lst2ary(str)
    return [] if str == ""
    idx = str.index('{')
    while idx and idx > 0 and str[idx-1] == ?\\
      idx = str.index('{', idx+1)
    end
    return str.split unless idx

    list = str[0,idx].split
    str = str[idx+1..-1]
    i = -1
    brace = 1
    str.each_byte {|c|
      i += 1
      brace += 1 if c == ?{
      brace -= 1 if c == ?}
      break if brace == 0
    }
    if i == 0
      list.push ''
    elsif str[0, i] == ' '
      list.push ' '
    else
      list.push str[0..i-1]
    end
    #list += _lst2ary(str[i+1..-1])
    list.concat(_lst2ary(str[i+1..-1]))
    list
  end
  private :_lst2ary

  def _slavearg(slave)
    if slave.kind_of?(MultiTkIp)
      slave.path
    elsif slave.kind_of?(String)
      slave
    else
      slave.to_s
    end
  end
  private :_slavearg

  def alias_info(slave, cmd_name)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    _lst2ary(@interp._invoke('interp', 'alias', _slavearg(slave), cmd_name))
  end
  def self.alias_info(slave, cmd_name)
    __getip.alias_info(slave, cmd_name)
  end

  def alias_delete(slave, cmd_name)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'alias', _slavearg(slave), cmd_name, '')
    self
  end
  def self.alias_delete(slave, cmd_name)
    __getip.alias_delete(slave, cmd_name)
    self
  end

  def def_alias(slave, new_cmd, org_cmd, *args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    ret = @interp._invoke('interp', 'alias', _slavearg(slave), new_cmd, 
                          '', org_cmd, *args)
    (ret == new_cmd)? self: nil
  end
  def self.def_alias(slave, new_cmd, org_cmd, *args)
    ret = __getip.def_alias(slave, new_cmd, org_cmd, *args)
    (ret == new_cmd)? self: nil
  end

  def aliases(slave = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    _lst2ary(@interp._invoke('interp', 'aliases', _slavearg(slave)))
  end
  def self.aliases(slave = '')
    __getip.aliases(slave)
  end

  def delete_slaves(*args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    slaves = args.collect{|s| _slavearg(s)}
    @interp._invoke('interp', 'delete', *slaves) if slaves.size > 0
    self
  end
  def self.delete_slaves(*args)
    __getip.delete_slaves(*args)
    self
  end

  def exist?(slave = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    ret = @interp._invoke('interp', 'exists', _slavearg(slave))
    (ret == '1')? true: false
  end
  def self.exist?(slave = '')
    __getip.exist?(slave)
  end

  def delete_cmd(slave, cmd)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    slave_invoke = @interp._invoke('list', 'rename', cmd, '')
    @interp._invoke('interp', 'eval', _slavearg(slave), slave_invoke)
    self
  end
  def self.delete_cmd(slave, cmd)
    __getip.delete_cmd(slave, cmd)
    self
  end

  def expose_cmd(slave, cmd, aliasname = nil)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if aliasname
      @interp._invoke('interp', 'expose', _slavearg(slave), cmd, aliasname)
    else
      @interp._invoke('interp', 'expose', _slavearg(slave), cmd)
    end
    self
  end
  def self.expose_cmd(slave, cmd, aliasname = nil)
    __getip.expose_cmd(slave, cmd, aliasname)
    self
  end

  def hide_cmd(slave, cmd, aliasname = nil)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if aliasname
      @interp._invoke('interp', 'hide', _slavearg(slave), cmd, aliasname)
    else
      @interp._invoke('interp', 'hide', _slavearg(slave), cmd)
    end
    self
  end
  def self.hide_cmd(slave, cmd, aliasname = nil)
    __getip.hide_cmd(slave, cmd, aliasname)
    self
  end

  def hidden_cmds(slave = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    _lst2ary(@interp._invoke('interp', 'hidden', _slavearg(slave)))
  end
  def self.hidden_cmds(slave = '')
    __getip.hidden_cmds(slave)
  end

  def invoke_hidden(slave, cmd, *args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if args[-1].kind_of?(Hash)
      keys = _symbolkey2str(args.pop)
    else
      keys = []
    end
    keys << _slavearg(slave)
    if Tk::TCL_MAJOR_VERSION > 8 ||
        (Tk::TCL_MAJOR_VERSION == 8 && Tk::TCL_MINOR_VERSION >= 5) 
      keys << '--'
    end
    keys << cmd
    keys.concat(args)
    @interp._invoke('interp', 'invokehidden', *keys)
  end
  def self.invoke_hidden(slave, cmd, *args)
    __getip.invoke_hidden(slave, cmd, *args)
  end

  def invoke_hidden_on_global(slave, cmd, *args)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if args[-1].kind_of?(Hash)
      keys = _symbolkey2str(args.pop)
    else
      keys = []
    end
    keys << _slavearg(slave)
    keys << '-global'
    if Tk::TCL_MAJOR_VERSION > 8 ||
        (Tk::TCL_MAJOR_VERSION == 8 && Tk::TCL_MINOR_VERSION >= 5) 
      keys << '--'
    end
    keys << cmd
    keys.concat(args)
    @interp._invoke('interp', 'invokehidden', *keys)
  end
  def self.invoke_hidden_on_global(slave, cmd, *args)
    __getip.invoke_hidden_on_global(slave, cmd, *args)
  end

  def invoke_hidden_on_namespace(slave, ns, cmd, *args)
    # for Tcl8.5 or later
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    if args[-1].kind_of?(Hash)
      keys = _symbolkey2str(args.pop)
    else
      keys = []
    end
    keys << _slavearg(slave)
    keys << '-namespace' << TkComm._get_eval_string(ns)
    keys << '--' << cmd
    keys.concat(args)
    @interp._invoke('interp', 'invokehidden', *keys)
  end
  def self.invoke_hidden_on_namespace(slave, ns, cmd, *args)
    __getip.invoke_hidden_on_namespace(slave, ns, cmd, *args)
  end

  def mark_trusted(slave = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'marktrusted', _slavearg(slave))
    self
  end
  def self.mark_trusted(slave = '')
    __getip.mark_trusted(slave)
    self
  end

  def set_bgerror_handler(cmd = Proc.new, slave = nil, &b)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?

    unless TkComm._callback_entry?(cmd)
      if !slave && b
        slave = cmd
        cmd = Proc.new(&b)
      end
    end
    slave = '' unless slave

    @interp._invoke('interp', 'bgerror', _slavearg(slave), cmd)
  end
  def self.bgerror(cmd = Proc.new, slave = nil, &b)
    __getip.bgerror(cmd, slave, &b)
  end

  def get_bgerror_handler(slave = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    procedure(@interp._invoke('interp', 'bgerror', _slavearg(slave)))
  end
  def self.bgerror(slave = '')
    __getip.bgerror(slave)
  end

  def set_limit(limit_type, slave = '', opts = {})
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'limit', _slavearg(slave), limit_type, opts)
  end
  def self.set_limit(limit_type, slave = '', opts = {})
    __getip.set_limit(limit_type, slave, opts)
  end

  def get_limit(limit_type, slave = '', slot = nil)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?

    if slot
      num_or_str(@interp._invoke('interp', 'limit', _slavearg(slave), 
                                 limit_type, slot))
    else
      l = @interp._split_tklist(@interp._invoke_without_enc('interp', 'limit', 
                                                            _slavearg(slave), 
                                                            limit_type))
      l.map!{|s| _fromUTF8(s)}
      r = {}
      until l.empty?
        key = l.shift[1..-1]
        val = l.shift
        val = num_or_str(val) if val
        r[key] = val
      end
      r
    end
  end
  def self.get_limit(limit_type, slave = '', slot = nil)
    __getip.get_limit(limit_type, slave, slot)
  end

  def recursion_limit(slave = '', limit = None)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    number(@interp._invoke('interp', 'recursionlimit', 
                           _slavearg(slave), limit))
  end
  def self.recursion_limit(slave = '', limit = None)
    __getip.recursion_limit(slave)
  end

  def alias_target(aliascmd, slave = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'target', _slavearg(slave), aliascmd)
  end
  def self.alias_target(aliascmd, slave = '')
    __getip.alias_target(aliascmd, slave)
  end

  def share_stdin(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'share', src, 'stdin', dist)
    self
  end
  def self.share_stdin(dist, src = '')
    __getip.share_stdin(dist, src)
    self
  end

  def share_stdout(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'share', src, 'stdout', dist)
    self
  end
  def self.share_stdout(dist, src = '')
    __getip.share_stdout(dist, src)
    self
  end

  def share_stderr(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'share', src, 'stderr', dist)
    self
  end
  def self.share_stderr(dist, src = '')
    __getip.share_stderr(dist, src)
    self
  end

  def transfer_stdin(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'transfer', src, 'stdin', dist)
    self
  end
  def self.transfer_stdin(dist, src = '')
    __getip.transfer_stdin(dist, src)
    self
  end

  def transfer_stdout(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'transfer', src, 'stdout', dist)
    self
  end
  def self.transfer_stdout(dist, src = '')
    __getip.transfer_stdout(dist, src)
    self
  end

  def transfer_stderr(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'transfer', src, 'stderr', dist)
    self
  end
  def self.transfer_stderr(dist, src = '')
    __getip.transfer_stderr(dist, src)
    self
  end

  def share_stdio(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'share', src, 'stdin',  dist)
    @interp._invoke('interp', 'share', src, 'stdout', dist)
    @interp._invoke('interp', 'share', src, 'stderr', dist)
    self
  end
  def self.share_stdio(dist, src = '')
    __getip.share_stdio(dist, src)
    self
  end

  def transfer_stdio(dist, src = '')
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp._invoke('interp', 'transfer', src, 'stdin',  dist)
    @interp._invoke('interp', 'transfer', src, 'stdout', dist)
    @interp._invoke('interp', 'transfer', src, 'stderr', dist)
    self
  end
  def self.transfer_stdio(dist, src = '')
    __getip.transfer_stdio(dist, src)
    self
  end
end


# Safe Base :: manipulating safe interpreter
class MultiTkIp
  def safeip_configure(slot, value=None)
    # use for '-noStatics' option ==> {statics=>false}
    #     for '-nestedLoadOk' option ==> {nested=>true}
    if slot.kind_of?(Hash)
      ip = MultiTkIp.__getip
      ip._eval('::safe::interpConfigure ' + @ip_name + ' ' + _keys2opts(slot))
    else
      ip._eval('::safe::interpConfigure ' + @ip_name + ' ' + 
               "-#{slot} #{_get_eval_string(value)}")
    end
    self
  end

  def safeip_configinfo(slot = nil)
    ip = MultiTkIp.__getip
    ret = {}
    if slot
      conf = _lst2ary(ip._eval("::safe::interpConfigure " + 
                               @ip_name + " -#{slot}"))
      if conf[0] == '-deleteHook'
=begin
        if conf[1] =~ /^rb_out\S* (c(_\d+_)?\d+)/
          ret[conf[0][1..-1]] = MultiTkIp._tk_cmd_tbl[$1]
=end
        if conf[1] =~ /rb_out\S*(?:\s+(::\S*|[{](::.*)[}]|["](::.*)["]))? (c(_\d+_)?(\d+))/
          ret[conf[0][1..-1]] = MultiTkIp._tk_cmd_tbl[$4]
        else
          ret[conf[0][1..-1]] = conf[1]
        end
      else
        ret[conf[0][1..-1]] = conf[1]
      end
    else
      Hash[*_lst2ary(ip._eval("::safe::interpConfigure " + 
                              @ip_name))].each{|k, v|
        if k == '-deleteHook'
=begin
          if v =~ /^rb_out\S* (c(_\d+_)?\d+)/
            ret[k[1..-1]] = MultiTkIp._tk_cmd_tbl[$1]
=end
          if v =~ /rb_out\S*(?:\s+(::\S*|[{](::.*)[}]|["](::.*)["]))? (c(_\d+_)?(\d+))/
            ret[k[1..-1]] = MultiTkIp._tk_cmd_tbl[$4]
          else
            ret[k[1..-1]] = v
          end
        else
          ret[k[1..-1]] = v
        end
      }
    end
    ret
  end

  def safeip_delete
    ip = MultiTkIp.__getip
    ip._eval("::safe::interpDelete " + @ip_name)
  end

  def safeip_add_to_access_path(dir)
    ip = MultiTkIp.__getip
    ip._eval("::safe::interpAddToAccessPath #{@ip_name} #{dir}")
  end

  def safeip_find_in_access_path(dir)
    ip = MultiTkIp.__getip
    ip._eval("::safe::interpFindInAccessPath #{@ip_name} #{dir}")
  end

  def safeip_set_log_cmd(cmd = Proc.new)
    ip = MultiTkIp.__getip
    ip._eval("::safe::setLogCmd #{@ip_name} #{_get_eval_string(cmd)}")
  end
end


# encoding convert
class MultiTkIp
  def encoding
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.encoding
  end
  def encoding=(enc)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.encoding = enc
  end

  def encoding_convertfrom(str, enc=None)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.encoding_convertfrom(str, enc)
  end
  alias encoding_convert_from encoding_convertfrom

  def encoding_convertto(str, enc=None)
    raise SecurityError, "no permission to manipulate" unless self.manipulable?
    @interp.encoding_convertto(str, enc)
  end
  alias encoding_convert_to encoding_convertto
end


# remove methods for security
class MultiTkIp
  # undef_method :instance_eval
  undef_method :instance_variable_get
  undef_method :instance_variable_set
end


# end of MultiTkIp definition

# defend against modification
#MultiTkIp.freeze
#TclTkLib.freeze

########################################
#  start Tk which depends on MultiTkIp
module TkCore
  INTERP = MultiTkIp
end
require 'tk'
n</span><span class="hl str">&quot;</span><span class="hl opt">);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;envptr:</span> <span class="hl ipl">%p</span><span class="hl str"></span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">, &amp;</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">]);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;orphan:</span> <span class="hl ipl">%p</span><span class="hl str"></span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">, (</span><span class="hl kwb">void</span> <span class="hl opt">*)</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">1</span><span class="hl opt">]);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;inheap:</span> <span class="hl ipl">%p</span><span class="hl str"></span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">, (</span><span class="hl kwb">void</span> <span class="hl opt">*)</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">2</span><span class="hl opt">]);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;envval:</span> <span class="hl ipl">%1</span><span class="hl str">0p &quot;</span><span class="hl opt">, (</span><span class="hl kwb">void</span> <span class="hl opt">*)</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">3</span><span class="hl opt">]);</span>
    <span class="hl kwd">dp</span><span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">3</span><span class="hl opt">]);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;penvv :</span> <span class="hl ipl">%1</span><span class="hl str">0p &quot;</span><span class="hl opt">, (</span><span class="hl kwb">void</span> <span class="hl opt">*)</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">4</span><span class="hl opt">]);</span>
    <span class="hl kwd">dp</span><span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">4</span><span class="hl opt">]);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;lfp:</span>    <span class="hl ipl">%1</span><span class="hl str">0p</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">,</span> env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>lfp<span class="hl opt">);</span>
    <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;dfp:</span>    <span class="hl ipl">%1</span><span class="hl str">0p</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">,</span> env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">4</span><span class="hl opt">]) {</span>
	<span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;&gt;&gt;</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">);</span>
	<span class="hl kwd">check_env_value</span><span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">[</span><span class="hl num">4</span><span class="hl opt">]);</span>
	<span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;&lt;&lt;</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> <span class="hl num">1</span><span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">check_env_value</span><span class="hl opt">(</span>VALUE envval<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_env_t <span class="hl opt">*</span>env<span class="hl opt">;</span>
    <span class="hl kwd">GetEnvPtr</span><span class="hl opt">(</span>envval<span class="hl opt">,</span> env<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">check_env</span><span class="hl opt">(</span>env<span class="hl opt">)) {</span>
	<span class="hl kwa">return</span> envval<span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;invalid env&quot;</span><span class="hl opt">);</span>
    <span class="hl kwa">return</span> Qnil<span class="hl opt">;</span>		<span class="hl com">/* unreachable */</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">vm_make_env_each</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">,</span>
		 VALUE <span class="hl opt">*</span>envptr<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>endptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE envval<span class="hl opt">,</span> penvval <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    rb_env_t <span class="hl opt">*</span>env<span class="hl opt">;</span>
    VALUE <span class="hl opt">*</span>nenvptr<span class="hl opt">;</span>
    <span class="hl kwb">int</span> i<span class="hl opt">,</span> local_size<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">ENV_IN_HEAP_P</span><span class="hl opt">(</span>th<span class="hl opt">,</span> envptr<span class="hl opt">)) {</span>
	<span class="hl kwa">return</span> <span class="hl kwd">ENV_VAL</span><span class="hl opt">(</span>envptr<span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>envptr <span class="hl opt">!=</span> endptr<span class="hl opt">) {</span>
	VALUE <span class="hl opt">*</span>penvptr <span class="hl opt">=</span> <span class="hl kwd">GC_GUARDED_PTR_REF</span><span class="hl opt">(*</span>envptr<span class="hl opt">);</span>
	rb_control_frame_t <span class="hl opt">*</span>pcfp <span class="hl opt">=</span> cfp<span class="hl opt">;</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">ENV_IN_HEAP_P</span><span class="hl opt">(</span>th<span class="hl opt">,</span> penvptr<span class="hl opt">)) {</span>
	    penvval <span class="hl opt">=</span> <span class="hl kwd">ENV_VAL</span><span class="hl opt">(</span>penvptr<span class="hl opt">);</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else</span> <span class="hl opt">{</span>
	    <span class="hl kwa">while</span> <span class="hl opt">(</span>pcfp<span class="hl opt">-&gt;</span>dfp <span class="hl opt">!=</span> penvptr<span class="hl opt">) {</span>
		pcfp<span class="hl opt">++;</span>
		<span class="hl kwa">if</span> <span class="hl opt">(</span>pcfp<span class="hl opt">-&gt;</span>dfp <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
		    <span class="hl kwd">SDR</span><span class="hl opt">();</span>
		    <span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;invalid dfp&quot;</span><span class="hl opt">);</span>
		<span class="hl opt">}</span>
	    <span class="hl opt">}</span>
	    penvval <span class="hl opt">=</span> <span class="hl kwd">vm_make_env_each</span><span class="hl opt">(</span>th<span class="hl opt">,</span> pcfp<span class="hl opt">,</span> penvptr<span class="hl opt">,</span> endptr<span class="hl opt">);</span>
	    cfp<span class="hl opt">-&gt;</span>lfp <span class="hl opt">=</span> pcfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">;</span>
	    <span class="hl opt">*</span>envptr <span class="hl opt">=</span> <span class="hl kwd">GC_GUARDED_PTR</span><span class="hl opt">(</span>pcfp<span class="hl opt">-&gt;</span>dfp<span class="hl opt">);</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>

    <span class="hl com">/* allocate env */</span>
    envval <span class="hl opt">=</span> <span class="hl kwd">env_alloc</span><span class="hl opt">();</span>
    <span class="hl kwd">GetEnvPtr</span><span class="hl opt">(</span>envval<span class="hl opt">,</span> env<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(!</span><span class="hl kwd">RUBY_VM_NORMAL_ISEQ_P</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">)) {</span>
	local_size <span class="hl opt">=</span> <span class="hl num">2</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	local_size <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>local_size<span class="hl opt">;</span>
    <span class="hl opt">}</span>

    env<span class="hl opt">-&gt;</span>env_size <span class="hl opt">=</span> local_size <span class="hl opt">+</span> <span class="hl num">1</span> <span class="hl opt">+</span> <span class="hl num">2</span><span class="hl opt">;</span>
    env<span class="hl opt">-&gt;</span>local_size <span class="hl opt">=</span> local_size<span class="hl opt">;</span>
    env<span class="hl opt">-&gt;</span>env <span class="hl opt">=</span> <span class="hl kwd">ALLOC_N</span><span class="hl opt">(</span>VALUE<span class="hl opt">,</span> env<span class="hl opt">-&gt;</span>env_size<span class="hl opt">);</span>
    env<span class="hl opt">-&gt;</span>prev_envval <span class="hl opt">=</span> penvval<span class="hl opt">;</span>

    <span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;=</span> local_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
	env<span class="hl opt">-&gt;</span>env<span class="hl opt">[</span>i<span class="hl opt">] =</span> envptr<span class="hl opt">[-</span>local_size <span class="hl opt">+</span> i<span class="hl opt">];</span>
<span class="hl ppc">#if 0</span>
	<span class="hl kwd">fprintf</span><span class="hl opt">(</span>stderr<span class="hl opt">,</span> <span class="hl str">&quot;</span><span class="hl ipl">%2</span><span class="hl str">d &quot;</span><span class="hl opt">, &amp;</span>envptr<span class="hl opt">[-</span>local_size <span class="hl opt">+</span> i<span class="hl opt">] -</span> th<span class="hl opt">-&gt;</span>stack<span class="hl opt">);</span> <span class="hl kwd">dp</span><span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>env<span class="hl opt">[</span>i<span class="hl opt">]);</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">RUBY_VM_NORMAL_ISEQ_P</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">)) {</span>
	    <span class="hl com">/* clear value stack for GC */</span>
	    envptr<span class="hl opt">[-</span>local_size <span class="hl opt">+</span> i<span class="hl opt">] =</span> <span class="hl num">0</span><span class="hl opt">;</span>
	<span class="hl opt">}</span>
<span class="hl ppc">#endif</span>
    <span class="hl opt">}</span>

    <span class="hl opt">*</span>envptr <span class="hl opt">=</span> envval<span class="hl opt">;</span>		<span class="hl com">/* GC mark */</span>
    nenvptr <span class="hl opt">= &amp;</span>env<span class="hl opt">-&gt;</span>env<span class="hl opt">[</span>i <span class="hl opt">-</span> <span class="hl num">1</span><span class="hl opt">];</span>
    nenvptr<span class="hl opt">[</span><span class="hl num">1</span><span class="hl opt">] =</span> envval<span class="hl opt">;</span>	<span class="hl com">/* frame self */</span>
    nenvptr<span class="hl opt">[</span><span class="hl num">2</span><span class="hl opt">] =</span> penvval<span class="hl opt">;</span>	<span class="hl com">/* frame prev env object */</span>

    <span class="hl com">/* reset lfp/dfp in cfp */</span>
    cfp<span class="hl opt">-&gt;</span>dfp <span class="hl opt">=</span> nenvptr<span class="hl opt">;</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>envptr <span class="hl opt">==</span> endptr<span class="hl opt">) {</span>
	cfp<span class="hl opt">-&gt;</span>lfp <span class="hl opt">=</span> nenvptr<span class="hl opt">;</span>
    <span class="hl opt">}</span>

    <span class="hl com">/* as Binding */</span>
    env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>self <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>self<span class="hl opt">;</span>
    env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>lfp <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">;</span>
    env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>dfp<span class="hl opt">;</span>
    env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>iseq <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>VMDEBUG <span class="hl opt">&amp;&amp;</span>
	<span class="hl opt">(!(</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[-</span><span class="hl num">1</span><span class="hl opt">] ==</span> Qnil <span class="hl opt">||</span>
	  <span class="hl kwd">BUILTIN_TYPE</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[-</span><span class="hl num">1</span><span class="hl opt">]) ==</span> T_VALUES<span class="hl opt">))) {</span>
	<span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;invalid svar&quot;</span><span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">if</span> <span class="hl opt">(!</span><span class="hl kwd">RUBY_VM_NORMAL_ISEQ_P</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">)) {</span>
	<span class="hl com">/* TODO */</span>
	env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>iseq <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> envval<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static int</span>
<span class="hl kwd">collect_local_variables_in_env</span><span class="hl opt">(</span>rb_env_t <span class="hl opt">*</span>env<span class="hl opt">,</span> VALUE ary<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwb">int</span> i<span class="hl opt">;</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>lfp <span class="hl opt">==</span> env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">) {</span>
	<span class="hl kwa">return</span> <span class="hl num">0</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>iseq<span class="hl opt">-&gt;</span>local_table_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
	ID lid <span class="hl opt">=</span> env<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>iseq<span class="hl opt">-&gt;</span>local_table<span class="hl opt">[</span>i<span class="hl opt">];</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>lid<span class="hl opt">) {</span>
	    <span class="hl kwd">rb_ary_push</span><span class="hl opt">(</span>ary<span class="hl opt">,</span> <span class="hl kwd">rb_str_dup</span><span class="hl opt">(</span><span class="hl kwd">rb_id2str</span><span class="hl opt">(</span>lid<span class="hl opt">)));</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>prev_envval<span class="hl opt">) {</span>
	<span class="hl kwd">GetEnvPtr</span><span class="hl opt">(</span>env<span class="hl opt">-&gt;</span>prev_envval<span class="hl opt">,</span> env<span class="hl opt">);</span>
	<span class="hl kwd">collect_local_variables_in_env</span><span class="hl opt">(</span>env<span class="hl opt">,</span> ary<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> <span class="hl num">0</span><span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">int</span>
<span class="hl kwd">vm_collect_local_variables_in_heap</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>dfp<span class="hl opt">,</span> VALUE ary<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">ENV_IN_HEAP_P</span><span class="hl opt">(</span>th<span class="hl opt">,</span> dfp<span class="hl opt">)) {</span>
	rb_env_t <span class="hl opt">*</span>env<span class="hl opt">;</span>
	<span class="hl kwd">GetEnvPtr</span><span class="hl opt">(</span><span class="hl kwd">ENV_VAL</span><span class="hl opt">(</span>dfp<span class="hl opt">),</span> env<span class="hl opt">);</span>
	<span class="hl kwd">collect_local_variables_in_env</span><span class="hl opt">(</span>env<span class="hl opt">,</span> ary<span class="hl opt">);</span>
	<span class="hl kwa">return</span> <span class="hl num">1</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwa">return</span> <span class="hl num">0</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_make_env_object</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE envval<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">VM_FRAME_FLAG</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>flag<span class="hl opt">) ==</span> FRAME_MAGIC_FINISH<span class="hl opt">) {</span>
	<span class="hl com">/* for method_missing */</span>
	cfp <span class="hl opt">=</span> <span class="hl kwd">RUBY_VM_PREVIOUS_CONTROL_FRAME</span><span class="hl opt">(</span>cfp<span class="hl opt">);</span>
    <span class="hl opt">}</span>

    envval <span class="hl opt">=</span> <span class="hl kwd">vm_make_env_each</span><span class="hl opt">(</span>th<span class="hl opt">,</span> cfp<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>dfp<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>PROCDEBUG<span class="hl opt">) {</span>
	<span class="hl kwd">check_env_value</span><span class="hl opt">(</span>envval<span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">return</span> envval<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">vm_stack_to_heap</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    <span class="hl kwa">while</span> <span class="hl opt">((</span>cfp <span class="hl opt">=</span> <span class="hl kwd">vm_get_ruby_level_cfp</span><span class="hl opt">(</span>th<span class="hl opt">,</span> cfp<span class="hl opt">)) !=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	<span class="hl kwd">vm_make_env_object</span><span class="hl opt">(</span>th<span class="hl opt">,</span> cfp<span class="hl opt">);</span>
	cfp <span class="hl opt">=</span> <span class="hl kwd">RUBY_VM_PREVIOUS_CONTROL_FRAME</span><span class="hl opt">(</span>cfp<span class="hl opt">);</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

<span class="hl com">/* Proc */</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">vm_make_proc_from_block</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">,</span>
			rb_block_t <span class="hl opt">*</span>block<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE procval<span class="hl opt">;</span>
    rb_control_frame_t <span class="hl opt">*</span>bcfp<span class="hl opt">;</span>
    VALUE <span class="hl opt">*</span>bdfp<span class="hl opt">;</span>		<span class="hl com">/* to gc mark */</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>block<span class="hl opt">-&gt;</span>proc<span class="hl opt">) {</span>
	<span class="hl kwa">return</span> block<span class="hl opt">-&gt;</span>proc<span class="hl opt">;</span>
    <span class="hl opt">}</span>

    bcfp <span class="hl opt">=</span> <span class="hl kwd">RUBY_VM_GET_CFP_FROM_BLOCK_PTR</span><span class="hl opt">(</span>block<span class="hl opt">);</span>
    bdfp <span class="hl opt">=</span> bcfp<span class="hl opt">-&gt;</span>dfp<span class="hl opt">;</span>
    block<span class="hl opt">-&gt;</span>proc <span class="hl opt">=</span> procval <span class="hl opt">=</span> <span class="hl kwd">vm_make_proc</span><span class="hl opt">(</span>th<span class="hl opt">,</span> bcfp<span class="hl opt">,</span> block<span class="hl opt">);</span>
    <span class="hl kwa">return</span> procval<span class="hl opt">;</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_make_proc</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span>
	     rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">,</span> rb_block_t <span class="hl opt">*</span>block<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE procval<span class="hl opt">,</span> envval<span class="hl opt">,</span> blockprocval <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    rb_proc_t <span class="hl opt">*</span>proc<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">GC_GUARDED_PTR_REF</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">])) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(!</span><span class="hl kwd">RUBY_VM_CLASS_SPECIAL_P</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">])) {</span>
	    rb_proc_t <span class="hl opt">*</span>p<span class="hl opt">;</span>

	    blockprocval <span class="hl opt">=</span> <span class="hl kwd">vm_make_proc_from_block</span><span class="hl opt">(</span>
		th<span class="hl opt">,</span> cfp<span class="hl opt">, (</span>rb_block_t <span class="hl opt">*)</span><span class="hl kwd">GC_GUARDED_PTR_REF</span><span class="hl opt">(*</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">));</span>

	    <span class="hl kwd">GetProcPtr</span><span class="hl opt">(</span>blockprocval<span class="hl opt">,</span> p<span class="hl opt">);</span>
	    <span class="hl opt">*</span>cfp<span class="hl opt">-&gt;</span>lfp <span class="hl opt">=</span> <span class="hl kwd">GC_GUARDED_PTR</span><span class="hl opt">(&amp;</span>p<span class="hl opt">-&gt;</span>block<span class="hl opt">);</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>
    envval <span class="hl opt">=</span> <span class="hl kwd">vm_make_env_object</span><span class="hl opt">(</span>th<span class="hl opt">,</span> cfp<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>PROCDEBUG<span class="hl opt">) {</span>
	<span class="hl kwd">check_env_value</span><span class="hl opt">(</span>envval<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    procval <span class="hl opt">=</span> <span class="hl kwd">rb_proc_alloc</span><span class="hl opt">(</span>rb_cProc<span class="hl opt">);</span>
    <span class="hl kwd">GetProcPtr</span><span class="hl opt">(</span>procval<span class="hl opt">,</span> proc<span class="hl opt">);</span>
    proc<span class="hl opt">-&gt;</span>blockprocval <span class="hl opt">=</span> blockprocval<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>self <span class="hl opt">=</span> block<span class="hl opt">-&gt;</span>self<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>lfp <span class="hl opt">=</span> block<span class="hl opt">-&gt;</span>lfp<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp <span class="hl opt">=</span> block<span class="hl opt">-&gt;</span>dfp<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>iseq <span class="hl opt">=</span> block<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>proc <span class="hl opt">=</span> procval<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>envval <span class="hl opt">=</span> envval<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>safe_level <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>safe_level<span class="hl opt">;</span>
    proc<span class="hl opt">-&gt;</span>special_cref_stack <span class="hl opt">=</span> <span class="hl kwd">lfp_get_special_cref</span><span class="hl opt">(</span>block<span class="hl opt">-&gt;</span>lfp<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>VMDEBUG<span class="hl opt">) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>stack <span class="hl opt">&lt;</span> block<span class="hl opt">-&gt;</span>dfp <span class="hl opt">&amp;&amp;</span> block<span class="hl opt">-&gt;</span>dfp <span class="hl opt">&lt;</span> th<span class="hl opt">-&gt;</span>stack <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">) {</span>
	    <span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;invalid ptr: block-&gt;dfp&quot;</span><span class="hl opt">);</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>stack <span class="hl opt">&lt;</span> block<span class="hl opt">-&gt;</span>lfp <span class="hl opt">&amp;&amp;</span> block<span class="hl opt">-&gt;</span>lfp <span class="hl opt">&lt;</span> th<span class="hl opt">-&gt;</span>stack <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">) {</span>
	    <span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;invalid ptr: block-&gt;lfp&quot;</span><span class="hl opt">);</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">return</span> procval<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl com">/* C -&gt; Ruby: method */</span>

VALUE
<span class="hl kwd">vm_call0</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> VALUE klass<span class="hl opt">,</span> VALUE recv<span class="hl opt">,</span>
	 VALUE id<span class="hl opt">,</span> ID oid<span class="hl opt">,</span> <span class="hl kwb">int</span> argc<span class="hl opt">,</span> <span class="hl kwb">const</span> VALUE <span class="hl opt">*</span>argv<span class="hl opt">,</span>
	 NODE <span class="hl opt">*</span> body<span class="hl opt">,</span> <span class="hl kwb">int</span> nosuper<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE val<span class="hl opt">;</span>
    rb_block_t <span class="hl opt">*</span>blockptr <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl num">0</span><span class="hl opt">)</span> <span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;id:</span> <span class="hl ipl">%s</span><span class="hl str">, nd:</span> <span class="hl ipl">%s</span><span class="hl str">, argc:</span> <span class="hl ipl">%d</span><span class="hl str">, passed:</span> <span class="hl ipl">%p</span><span class="hl str"></span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">,</span>
		  <span class="hl kwd">rb_id2name</span><span class="hl opt">(</span>id<span class="hl opt">),</span> <span class="hl kwd">ruby_node_name</span><span class="hl opt">(</span><span class="hl kwd">nd_type</span><span class="hl opt">(</span>body<span class="hl opt">)),</span>
		  argc<span class="hl opt">,</span> th<span class="hl opt">-&gt;</span>passed_block<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>passed_block<span class="hl opt">) {</span>
	blockptr <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>passed_block<span class="hl opt">;</span>
	th<span class="hl opt">-&gt;</span>passed_block <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">switch</span> <span class="hl opt">(</span><span class="hl kwd">nd_type</span><span class="hl opt">(</span>body<span class="hl opt">)) {</span>
      <span class="hl kwa">case</span> RUBY_VM_METHOD_NODE<span class="hl opt">:{</span>
	rb_control_frame_t <span class="hl opt">*</span>reg_cfp<span class="hl opt">;</span>
	VALUE iseqval <span class="hl opt">= (</span>VALUE<span class="hl opt">)</span>body<span class="hl opt">-&gt;</span>nd_body<span class="hl opt">;</span>
	<span class="hl kwb">int</span> i<span class="hl opt">;</span>

	<span class="hl kwd">rb_vm_set_finish_env</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
	reg_cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>

	<span class="hl kwd">CHECK_STACK_OVERFLOW</span><span class="hl opt">(</span>reg_cfp<span class="hl opt">,</span> argc <span class="hl opt">+</span> <span class="hl num">1</span><span class="hl opt">);</span>

	<span class="hl opt">*</span>reg_cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">++ =</span> recv<span class="hl opt">;</span>
	<span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> argc<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
	    <span class="hl opt">*</span>reg_cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">++ =</span> argv<span class="hl opt">[</span>i<span class="hl opt">];</span>
	<span class="hl opt">}</span>

	<span class="hl kwd">vm_setup_method</span><span class="hl opt">(</span>th<span class="hl opt">,</span> reg_cfp<span class="hl opt">,</span> argc<span class="hl opt">,</span> blockptr<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> iseqval<span class="hl opt">,</span> recv<span class="hl opt">,</span> klass<span class="hl opt">);</span>
	val <span class="hl opt">=</span> <span class="hl kwd">vm_eval_body</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl opt">}</span>
      <span class="hl kwa">case</span> NODE_CFUNC<span class="hl opt">: {</span>
	<span class="hl kwd">EXEC_EVENT_HOOK</span><span class="hl opt">(</span>th<span class="hl opt">,</span> RUBY_EVENT_C_CALL<span class="hl opt">,</span> recv<span class="hl opt">,</span> id<span class="hl opt">,</span> klass<span class="hl opt">);</span>
	<span class="hl opt">{</span>
	    rb_control_frame_t <span class="hl opt">*</span>reg_cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
	    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span>
		<span class="hl kwd">vm_push_frame</span><span class="hl opt">(</span>th<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> FRAME_MAGIC_CFUNC<span class="hl opt">,</span>
			      recv<span class="hl opt">, (</span>VALUE<span class="hl opt">)</span>blockptr<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> reg_cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> <span class="hl num">1</span><span class="hl opt">);</span>

	    cfp<span class="hl opt">-&gt;</span>method_id <span class="hl opt">=</span> id<span class="hl opt">;</span>
	    cfp<span class="hl opt">-&gt;</span>method_class <span class="hl opt">=</span> klass<span class="hl opt">;</span>

	    val <span class="hl opt">=</span> <span class="hl kwd">call_cfunc</span><span class="hl opt">(</span>body<span class="hl opt">-&gt;</span>nd_cfnc<span class="hl opt">,</span> recv<span class="hl opt">,</span> body<span class="hl opt">-&gt;</span>nd_argc<span class="hl opt">,</span> argc<span class="hl opt">,</span> argv<span class="hl opt">);</span>

	    <span class="hl kwa">if</span> <span class="hl opt">(</span>reg_cfp <span class="hl opt">!=</span> th<span class="hl opt">-&gt;</span>cfp <span class="hl opt">+</span> <span class="hl num">1</span><span class="hl opt">) {</span>
		<span class="hl kwd">SDR2</span><span class="hl opt">(</span>reg_cfp<span class="hl opt">);</span>
		<span class="hl kwd">SDR2</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-</span><span class="hl num">5</span><span class="hl opt">);</span>
		<span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;cfp consistency error - call0&quot;</span><span class="hl opt">);</span>
		th<span class="hl opt">-&gt;</span>cfp <span class="hl opt">=</span> reg_cfp<span class="hl opt">;</span>
	    <span class="hl opt">}</span>
	    <span class="hl kwd">vm_pop_frame</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
	<span class="hl opt">}</span>
	<span class="hl kwd">EXEC_EVENT_HOOK</span><span class="hl opt">(</span>th<span class="hl opt">,</span> RUBY_EVENT_C_RETURN<span class="hl opt">,</span> recv<span class="hl opt">,</span> id<span class="hl opt">,</span> klass<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl opt">}</span>
      <span class="hl kwa">case</span> NODE_ATTRSET<span class="hl opt">:{</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>argc <span class="hl opt">!=</span> <span class="hl num">1</span><span class="hl opt">) {</span>
	    <span class="hl kwd">rb_raise</span><span class="hl opt">(</span>rb_eArgError<span class="hl opt">,</span> <span class="hl str">&quot;wrong number of arguments (</span><span class="hl ipl">%d</span> <span class="hl str">for 1)&quot;</span><span class="hl opt">,</span> argc<span class="hl opt">);</span>
	<span class="hl opt">}</span>
	val <span class="hl opt">=</span> <span class="hl kwd">rb_ivar_set</span><span class="hl opt">(</span>recv<span class="hl opt">,</span> body<span class="hl opt">-&gt;</span>nd_vid<span class="hl opt">,</span> argv<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">]);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl opt">}</span>
      <span class="hl kwa">case</span> NODE_IVAR<span class="hl opt">: {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>argc <span class="hl opt">!=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    <span class="hl kwd">rb_raise</span><span class="hl opt">(</span>rb_eArgError<span class="hl opt">,</span> <span class="hl str">&quot;wrong number of arguments (</span><span class="hl ipl">%d</span> <span class="hl str">for 0)&quot;</span><span class="hl opt">,</span>
		     argc<span class="hl opt">);</span>
	<span class="hl opt">}</span>
	val <span class="hl opt">=</span> <span class="hl kwd">rb_attr_get</span><span class="hl opt">(</span>recv<span class="hl opt">,</span> body<span class="hl opt">-&gt;</span>nd_vid<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl opt">}</span>
      <span class="hl kwa">case</span> NODE_BMETHOD<span class="hl opt">:{</span>
	val <span class="hl opt">=</span> <span class="hl kwd">vm_call_bmethod</span><span class="hl opt">(</span>th<span class="hl opt">,</span> id<span class="hl opt">,</span> body<span class="hl opt">-&gt;</span>nd_cval<span class="hl opt">,</span>
			      recv<span class="hl opt">,</span> klass<span class="hl opt">,</span> argc<span class="hl opt">, (</span>VALUE <span class="hl opt">*)</span>argv<span class="hl opt">,</span> blockptr<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl opt">}</span>
      <span class="hl kwa">default</span><span class="hl opt">:</span>
	<span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;unsupported: vm_call0(</span><span class="hl ipl">%s</span><span class="hl str">)&quot;</span><span class="hl opt">,</span> <span class="hl kwd">ruby_node_name</span><span class="hl opt">(</span><span class="hl kwd">nd_type</span><span class="hl opt">(</span>body<span class="hl opt">)));</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">RUBY_VM_CHECK_INTS</span><span class="hl opt">();</span>
    <span class="hl kwa">return</span> val<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">vm_call_super</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> <span class="hl kwb">int</span> argc<span class="hl opt">,</span> <span class="hl kwb">const</span> VALUE <span class="hl opt">*</span>argv<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE recv <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>self<span class="hl opt">;</span>
    VALUE klass<span class="hl opt">;</span>
    ID id<span class="hl opt">;</span>
    NODE <span class="hl opt">*</span>body<span class="hl opt">;</span>
    <span class="hl kwb">int</span> nosuper <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(!</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">) {</span>
	klass <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>method_class<span class="hl opt">;</span>
	klass <span class="hl opt">=</span> <span class="hl kwd">RCLASS_SUPER</span><span class="hl opt">(</span>klass<span class="hl opt">);</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>klass <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    klass <span class="hl opt">=</span> <span class="hl kwd">vm_search_normal_superclass</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>method_class<span class="hl opt">,</span> recv<span class="hl opt">);</span>
	<span class="hl opt">}</span>

	id <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>method_id<span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;vm_call_super: should not be reached&quot;</span><span class="hl opt">);</span>
    <span class="hl opt">}</span>

    body <span class="hl opt">=</span> <span class="hl kwd">rb_method_node</span><span class="hl opt">(</span>klass<span class="hl opt">,</span> id<span class="hl opt">);</span>	<span class="hl com">/* this returns NODE_METHOD */</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>body<span class="hl opt">) {</span>
	body <span class="hl opt">=</span> body<span class="hl opt">-&gt;</span>nd_body<span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwd">dp</span><span class="hl opt">(</span>recv<span class="hl opt">);</span>
	<span class="hl kwd">dp</span><span class="hl opt">(</span>klass<span class="hl opt">);</span>
	<span class="hl kwd">dpi</span><span class="hl opt">(</span>id<span class="hl opt">);</span>
	<span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;vm_call_super: not found&quot;</span><span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">return</span> <span class="hl kwd">vm_call0</span><span class="hl opt">(</span>th<span class="hl opt">,</span> klass<span class="hl opt">,</span> recv<span class="hl opt">,</span> id<span class="hl opt">,</span> id<span class="hl opt">,</span> argc<span class="hl opt">,</span> argv<span class="hl opt">,</span> body<span class="hl opt">,</span> nosuper<span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">rb_call_super</span><span class="hl opt">(</span><span class="hl kwb">int</span> argc<span class="hl opt">,</span> <span class="hl kwb">const</span> VALUE <span class="hl opt">*</span>argv<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">return</span> <span class="hl kwd">vm_call_super</span><span class="hl opt">(</span><span class="hl kwd">GET_THREAD</span><span class="hl opt">(),</span> argc<span class="hl opt">,</span> argv<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl com">/* C -&gt; Ruby: block */</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">invoke_block</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_block_t <span class="hl opt">*</span>block<span class="hl opt">,</span> VALUE self<span class="hl opt">,</span>
	     <span class="hl kwb">int</span> argc<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>argv<span class="hl opt">,</span> rb_block_t <span class="hl opt">*</span>blockptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE val<span class="hl opt">;</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">BUILTIN_TYPE</span><span class="hl opt">(</span>block<span class="hl opt">-&gt;</span>iseq<span class="hl opt">) !=</span> T_NODE<span class="hl opt">) {</span>
	rb_iseq_t <span class="hl opt">*</span>iseq <span class="hl opt">=</span> block<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
	rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
	<span class="hl kwb">int</span> i<span class="hl opt">,</span> opt_pc<span class="hl opt">;</span>
	<span class="hl kwb">const int</span> arg_size <span class="hl opt">=</span> iseq<span class="hl opt">-&gt;</span>arg_size<span class="hl opt">;</span>
	<span class="hl kwb">const int</span> type <span class="hl opt">=</span> <span class="hl kwd">block_proc_is_lambda</span><span class="hl opt">(</span>block<span class="hl opt">-&gt;</span>proc<span class="hl opt">) ?</span> FRAME_MAGIC_LAMBDA <span class="hl opt">:</span> FRAME_MAGIC_BLOCK<span class="hl opt">;</span>

	<span class="hl kwd">rb_vm_set_finish_env</span><span class="hl opt">(</span>th<span class="hl opt">);</span>

	<span class="hl kwd">CHECK_STACK_OVERFLOW</span><span class="hl opt">(</span>cfp<span class="hl opt">,</span> argc <span class="hl opt">+</span> iseq<span class="hl opt">-&gt;</span>stack_max<span class="hl opt">);</span>

	<span class="hl kwa">for</span> <span class="hl opt">(</span>i<span class="hl opt">=</span><span class="hl num">0</span><span class="hl opt">;</span> i<span class="hl opt">&lt;</span>argc<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
	    cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">[</span>i<span class="hl opt">] =</span> argv<span class="hl opt">[</span>i<span class="hl opt">];</span>
	<span class="hl opt">}</span>

	opt_pc <span class="hl opt">=</span> <span class="hl kwd">vm_yield_setup_args</span><span class="hl opt">(</span>th<span class="hl opt">,</span> iseq<span class="hl opt">,</span> argc<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">,</span> blockptr<span class="hl opt">,</span>
				     type <span class="hl opt">==</span> FRAME_MAGIC_LAMBDA<span class="hl opt">);</span>

	<span class="hl kwd">vm_push_frame</span><span class="hl opt">(</span>th<span class="hl opt">,</span> iseq<span class="hl opt">,</span> type<span class="hl opt">,</span>
		      self<span class="hl opt">,</span> <span class="hl kwd">GC_GUARDED_PTR</span><span class="hl opt">(</span>block<span class="hl opt">-&gt;</span>dfp<span class="hl opt">),</span>
		      iseq<span class="hl opt">-&gt;</span>iseq_encoded <span class="hl opt">+</span> opt_pc<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>sp <span class="hl opt">+</span> arg_size<span class="hl opt">,</span> block<span class="hl opt">-&gt;</span>lfp<span class="hl opt">,</span>
		      iseq<span class="hl opt">-&gt;</span>local_size <span class="hl opt">-</span> arg_size<span class="hl opt">);</span>

	val <span class="hl opt">=</span> <span class="hl kwd">vm_eval_body</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	val <span class="hl opt">=</span> <span class="hl kwd">vm_yield_with_cfunc</span><span class="hl opt">(</span>th<span class="hl opt">,</span> block<span class="hl opt">,</span> self<span class="hl opt">,</span> argc<span class="hl opt">,</span> argv<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> val<span class="hl opt">;</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_yield</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> <span class="hl kwb">int</span> argc<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>argv<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_block_t <span class="hl opt">*</span>block <span class="hl opt">=</span> <span class="hl kwd">GC_GUARDED_PTR_REF</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">]);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>block <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	<span class="hl kwd">vm_localjump_error</span><span class="hl opt">(</span><span class="hl str">&quot;no block given&quot;</span><span class="hl opt">,</span> Qnil<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">return</span> <span class="hl kwd">invoke_block</span><span class="hl opt">(</span>th<span class="hl opt">,</span> block<span class="hl opt">,</span> block<span class="hl opt">-&gt;</span>self<span class="hl opt">,</span> argc<span class="hl opt">,</span> argv<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_invoke_proc</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_proc_t <span class="hl opt">*</span>proc<span class="hl opt">,</span>
	       VALUE self<span class="hl opt">,</span> <span class="hl kwb">int</span> argc<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>argv<span class="hl opt">,</span> rb_block_t <span class="hl opt">*</span>blockptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE val <span class="hl opt">=</span> Qundef<span class="hl opt">;</span>
    <span class="hl kwb">int</span> state<span class="hl opt">;</span>
    <span class="hl kwc">volatile</span> <span class="hl kwb">int</span> stored_safe <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>safe_level<span class="hl opt">;</span>
    <span class="hl kwc">volatile</span> NODE <span class="hl opt">*</span>stored_special_cref_stack <span class="hl opt">=</span>
      <span class="hl kwd">lfp_set_special_cref</span><span class="hl opt">(</span>proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>lfp<span class="hl opt">,</span> proc<span class="hl opt">-&gt;</span>special_cref_stack<span class="hl opt">);</span>
    rb_control_frame_t <span class="hl opt">*</span> <span class="hl kwc">volatile</span> cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>

    <span class="hl kwd">TH_PUSH_TAG</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">((</span>state <span class="hl opt">=</span> <span class="hl kwd">EXEC_TAG</span><span class="hl opt">()) ==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	th<span class="hl opt">-&gt;</span>safe_level <span class="hl opt">=</span> proc<span class="hl opt">-&gt;</span>safe_level<span class="hl opt">;</span>
	val <span class="hl opt">=</span> <span class="hl kwd">invoke_block</span><span class="hl opt">(</span>th<span class="hl opt">, &amp;</span>proc<span class="hl opt">-&gt;</span>block<span class="hl opt">,</span> self<span class="hl opt">,</span> argc<span class="hl opt">,</span> argv<span class="hl opt">,</span> blockptr<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">TH_POP_TAG</span><span class="hl opt">();</span>

    <span class="hl kwa">if</span> <span class="hl opt">(!</span>proc<span class="hl opt">-&gt;</span>is_from_method<span class="hl opt">) {</span>
	th<span class="hl opt">-&gt;</span>safe_level <span class="hl opt">=</span> stored_safe<span class="hl opt">;</span>
    <span class="hl opt">}</span>

    <span class="hl kwd">lfp_set_special_cref</span><span class="hl opt">(</span>proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>lfp<span class="hl opt">, (</span>NODE<span class="hl opt">*)</span>stored_special_cref_stack<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>state<span class="hl opt">) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_RETURN <span class="hl opt">&amp;&amp;</span> proc<span class="hl opt">-&gt;</span>is_lambda<span class="hl opt">) {</span>
	    VALUE err <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>errinfo<span class="hl opt">;</span>
	    VALUE <span class="hl opt">*</span>escape_dfp <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_CATCH_POINT</span><span class="hl opt">(</span>err<span class="hl opt">);</span>
	    VALUE <span class="hl opt">*</span>cdfp <span class="hl opt">=</span> proc<span class="hl opt">-&gt;</span>block<span class="hl opt">.</span>dfp<span class="hl opt">;</span>

	    <span class="hl kwa">if</span> <span class="hl opt">(</span>escape_dfp <span class="hl opt">==</span> cdfp<span class="hl opt">) {</span>
		state <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
		th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>
		th<span class="hl opt">-&gt;</span>cfp <span class="hl opt">=</span> cfp<span class="hl opt">;</span>
		val <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_VAL</span><span class="hl opt">(</span>err<span class="hl opt">);</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>state<span class="hl opt">) {</span>
	<span class="hl kwd">JUMP_TAG</span><span class="hl opt">(</span>state<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> val<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl com">/* special variable */</span>

VALUE
<span class="hl kwd">vm_cfp_svar_get</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">,</span> VALUE key<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">while</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	cfp<span class="hl opt">++;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> <span class="hl kwd">lfp_svar_get</span><span class="hl opt">(</span>th<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">,</span> key<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">vm_cfp_svar_set</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">,</span> VALUE key<span class="hl opt">,</span> VALUE val<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">while</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	cfp<span class="hl opt">++;</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">lfp_svar_set</span><span class="hl opt">(</span>th<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">,</span> key<span class="hl opt">,</span> val<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">vm_svar_get</span><span class="hl opt">(</span>VALUE key<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">();</span>
    <span class="hl kwa">return</span> <span class="hl kwd">vm_cfp_svar_get</span><span class="hl opt">(</span>th<span class="hl opt">,</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">,</span> key<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">vm_svar_set</span><span class="hl opt">(</span>VALUE key<span class="hl opt">,</span> VALUE val<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">();</span>
    <span class="hl kwd">vm_cfp_svar_set</span><span class="hl opt">(</span>th<span class="hl opt">,</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">,</span> key<span class="hl opt">,</span> val<span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">rb_backref_get</span><span class="hl opt">(</span><span class="hl kwb">void</span><span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">return</span> <span class="hl kwd">vm_svar_get</span><span class="hl opt">(</span><span class="hl num">1</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_backref_set</span><span class="hl opt">(</span>VALUE val<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwd">vm_svar_set</span><span class="hl opt">(</span><span class="hl num">1</span><span class="hl opt">,</span> val<span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">rb_lastline_get</span><span class="hl opt">(</span><span class="hl kwb">void</span><span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">return</span> <span class="hl kwd">vm_svar_get</span><span class="hl opt">(</span><span class="hl num">0</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_lastline_set</span><span class="hl opt">(</span>VALUE val<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwd">vm_svar_set</span><span class="hl opt">(</span><span class="hl num">0</span><span class="hl opt">,</span> val<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl com">/* backtrace */</span>

<span class="hl kwb">int</span>
<span class="hl kwd">vm_get_sourceline</span><span class="hl opt">(</span>rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwb">int</span> line_no <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    rb_iseq_t <span class="hl opt">*</span>iseq <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">RUBY_VM_NORMAL_ISEQ_P</span><span class="hl opt">(</span>iseq<span class="hl opt">)) {</span>
	<span class="hl kwb">int</span> i<span class="hl opt">;</span>
	<span class="hl kwb">int</span> pos <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">-</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>iseq_encoded<span class="hl opt">;</span>

	<span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> iseq<span class="hl opt">-&gt;</span>insn_info_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>insn_info_table<span class="hl opt">[</span>i<span class="hl opt">].</span>position <span class="hl opt">==</span> pos<span class="hl opt">) {</span>
		line_no <span class="hl opt">=</span> iseq<span class="hl opt">-&gt;</span>insn_info_table<span class="hl opt">[</span>i <span class="hl opt">-</span> <span class="hl num">1</span><span class="hl opt">].</span>line_no<span class="hl opt">;</span>
		<span class="hl kwa">goto</span> found<span class="hl opt">;</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
	line_no <span class="hl opt">=</span> iseq<span class="hl opt">-&gt;</span>insn_info_table<span class="hl opt">[</span>i <span class="hl opt">-</span> <span class="hl num">1</span><span class="hl opt">].</span>line_no<span class="hl opt">;</span>
    <span class="hl opt">}</span>
  found<span class="hl opt">:</span>
    <span class="hl kwa">return</span> line_no<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">vm_backtrace_each</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span>
		  rb_control_frame_t <span class="hl opt">*</span>limit_cfp<span class="hl opt">,</span>
		  rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">,</span>
		  <span class="hl kwb">char</span> <span class="hl opt">*</span>file<span class="hl opt">,</span> <span class="hl kwb">int</span> line_no<span class="hl opt">,</span> VALUE ary<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE str<span class="hl opt">;</span>

    <span class="hl kwa">while</span> <span class="hl opt">(</span>cfp <span class="hl opt">&gt;</span> limit_cfp<span class="hl opt">) {</span>
	str <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq <span class="hl opt">!=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">!=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
		rb_iseq_t <span class="hl opt">*</span>iseq <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>

		line_no <span class="hl opt">=</span> <span class="hl kwd">vm_get_sourceline</span><span class="hl opt">(</span>cfp<span class="hl opt">);</span>
		file <span class="hl opt">=</span> <span class="hl kwd">RSTRING_PTR</span><span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>filename<span class="hl opt">);</span>
		str <span class="hl opt">=</span> <span class="hl kwd">rb_sprintf</span><span class="hl opt">(</span><span class="hl str">&quot;</span><span class="hl ipl">%s</span><span class="hl str">:</span><span class="hl ipl">%d</span><span class="hl str">:in `</span><span class="hl ipl">%s</span><span class="hl str">&#39;&quot;</span><span class="hl opt">,</span>
				 file<span class="hl opt">,</span> line_no<span class="hl opt">,</span> <span class="hl kwd">RSTRING_PTR</span><span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>name<span class="hl opt">));</span>
		<span class="hl kwd">rb_ary_push</span><span class="hl opt">(</span>ary<span class="hl opt">,</span> str<span class="hl opt">);</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else if</span> <span class="hl opt">(</span><span class="hl kwd">RUBYVM_CFUNC_FRAME_P</span><span class="hl opt">(</span>cfp<span class="hl opt">)) {</span>
	    str <span class="hl opt">=</span> <span class="hl kwd">rb_sprintf</span><span class="hl opt">(</span><span class="hl str">&quot;</span><span class="hl ipl">%s</span><span class="hl str">:</span><span class="hl ipl">%d</span><span class="hl str">:in `</span><span class="hl ipl">%s</span><span class="hl str">&#39;&quot;</span><span class="hl opt">,</span>
			     file<span class="hl opt">,</span> line_no<span class="hl opt">,</span>
			     <span class="hl kwd">rb_id2name</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>method_id<span class="hl opt">));</span>
	    <span class="hl kwd">rb_ary_push</span><span class="hl opt">(</span>ary<span class="hl opt">,</span> str<span class="hl opt">);</span>
	<span class="hl opt">}</span>
	cfp <span class="hl opt">=</span> <span class="hl kwd">RUBY_VM_NEXT_CONTROL_FRAME</span><span class="hl opt">(</span>cfp<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> <span class="hl kwd">rb_ary_reverse</span><span class="hl opt">(</span>ary<span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_backtrace</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> <span class="hl kwb">int</span> lev<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE ary<span class="hl opt">;</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    rb_control_frame_t <span class="hl opt">*</span>top_of_cfp <span class="hl opt">= (</span><span class="hl kwb">void</span> <span class="hl opt">*)(</span>th<span class="hl opt">-&gt;</span>stack <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">);</span>
    top_of_cfp <span class="hl opt">-=</span> <span class="hl num">2</span><span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>lev <span class="hl opt">&lt;</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	<span class="hl com">/* TODO ?? */</span>
	ary <span class="hl opt">=</span> <span class="hl kwd">rb_ary_new</span><span class="hl opt">();</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwa">while</span> <span class="hl opt">(</span>lev<span class="hl opt">-- &gt;=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    cfp<span class="hl opt">++;</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>cfp <span class="hl opt">&gt;=</span> top_of_cfp<span class="hl opt">) {</span>
		<span class="hl kwa">return</span> Qnil<span class="hl opt">;</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
	ary <span class="hl opt">=</span> <span class="hl kwd">rb_ary_new</span><span class="hl opt">();</span>
    <span class="hl opt">}</span>

    ary <span class="hl opt">=</span> <span class="hl kwd">vm_backtrace_each</span><span class="hl opt">(</span>th<span class="hl opt">,</span> <span class="hl kwd">RUBY_VM_NEXT_CONTROL_FRAME</span><span class="hl opt">(</span>cfp<span class="hl opt">),</span>
			    top_of_cfp<span class="hl opt">,</span> <span class="hl str">&quot;&quot;</span><span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> ary<span class="hl opt">);</span>
    <span class="hl kwa">return</span> ary<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl com">/* cref */</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">check_svar</span><span class="hl opt">(</span><span class="hl kwb">void</span><span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">();</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    <span class="hl kwa">while</span> <span class="hl opt">((</span><span class="hl kwb">void</span> <span class="hl opt">*)(</span>cfp <span class="hl opt">+</span> <span class="hl num">1</span><span class="hl opt">) &lt; (</span><span class="hl kwb">void</span> <span class="hl opt">*)(</span>th<span class="hl opt">-&gt;</span>stack <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">)) {</span>
	<span class="hl com">/* printf(&quot;cfp: %p\n&quot;, cfp-&gt;type); */</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>lfp <span class="hl opt">&amp;&amp;</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[-</span><span class="hl num">1</span><span class="hl opt">] !=</span> Qnil <span class="hl opt">&amp;&amp;</span>
	    <span class="hl kwd">TYPE</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">[-</span><span class="hl num">1</span><span class="hl opt">]) !=</span> T_VALUES<span class="hl opt">) {</span>
	    <span class="hl com">/* dp(cfp-&gt;lfp[-1]); */</span>
	    <span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;!!!invalid svar!!!&quot;</span><span class="hl opt">);</span>
	<span class="hl opt">}</span>
	cfp<span class="hl opt">++;</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> NODE <span class="hl opt">*</span>
<span class="hl kwd">lfp_set_special_cref</span><span class="hl opt">(</span>VALUE <span class="hl opt">*</span>lfp<span class="hl opt">,</span> NODE <span class="hl opt">*</span> cref<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwb">struct</span> RValues <span class="hl opt">*</span>values <span class="hl opt">= (</span><span class="hl kwb">void</span> <span class="hl opt">*)</span> lfp<span class="hl opt">[-</span><span class="hl num">1</span><span class="hl opt">];</span>
    NODE <span class="hl opt">*</span>old_cref<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>VMDEBUG<span class="hl opt">) {</span>
	<span class="hl kwd">check_svar</span><span class="hl opt">();</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>cref <span class="hl opt">==</span> <span class="hl num">0</span> <span class="hl opt">&amp;&amp; ((</span>VALUE<span class="hl opt">)</span>values <span class="hl opt">==</span> Qnil <span class="hl opt">||</span> values<span class="hl opt">-&gt;</span>basic<span class="hl opt">.</span>klass <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">)) {</span>
	old_cref <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	old_cref <span class="hl opt">= (</span>NODE <span class="hl opt">*)</span><span class="hl kwd">lfp_svar_get</span><span class="hl opt">(</span><span class="hl kwd">GET_THREAD</span><span class="hl opt">(),</span> lfp<span class="hl opt">,</span> <span class="hl num">2</span><span class="hl opt">);</span>
	<span class="hl kwd">lfp_svar_set</span><span class="hl opt">(</span><span class="hl kwd">GET_THREAD</span><span class="hl opt">(),</span> lfp<span class="hl opt">,</span> <span class="hl num">2</span><span class="hl opt">, (</span>VALUE<span class="hl opt">)</span>cref<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> old_cref<span class="hl opt">;</span>
<span class="hl opt">}</span>

NODE <span class="hl opt">*</span>
<span class="hl kwd">vm_set_special_cref</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>lfp<span class="hl opt">,</span> NODE <span class="hl opt">*</span> cref_stack<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">return</span> <span class="hl kwd">lfp_set_special_cref</span><span class="hl opt">(</span>lfp<span class="hl opt">,</span> cref_stack<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl ppc">#if 0</span>
<span class="hl kwb">void</span>
<span class="hl kwd">debug_cref</span><span class="hl opt">(</span>NODE <span class="hl opt">*</span>cref<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">while</span> <span class="hl opt">(</span>cref<span class="hl opt">) {</span>
	<span class="hl kwd">dp</span><span class="hl opt">(</span>cref<span class="hl opt">-&gt;</span>nd_clss<span class="hl opt">);</span>
	<span class="hl kwd">printf</span><span class="hl opt">(</span><span class="hl str">&quot;</span><span class="hl ipl">%l</span><span class="hl str">d</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">,</span> cref<span class="hl opt">-&gt;</span>nd_visi<span class="hl opt">);</span>
	cref <span class="hl opt">=</span> cref<span class="hl opt">-&gt;</span>nd_next<span class="hl opt">;</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>
<span class="hl ppc">#endif</span>

NODE <span class="hl opt">*</span>
<span class="hl kwd">vm_get_cref</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> rb_iseq_t <span class="hl opt">*</span>iseq<span class="hl opt">,</span> rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">return</span> <span class="hl kwd">get_cref</span><span class="hl opt">(</span>iseq<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">);</span>
<span class="hl opt">}</span>

NODE <span class="hl opt">*</span>
<span class="hl kwd">vm_cref_push</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> VALUE klass<span class="hl opt">,</span> <span class="hl kwb">int</span> noex<span class="hl opt">)</span>
<span class="hl opt">{</span>
    NODE <span class="hl opt">*</span>cref <span class="hl opt">=</span> <span class="hl kwd">NEW_BLOCK</span><span class="hl opt">(</span>klass<span class="hl opt">);</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> <span class="hl kwd">vm_get_ruby_level_cfp</span><span class="hl opt">(</span>th<span class="hl opt">,</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">);</span>

    cref<span class="hl opt">-&gt;</span>nd_file <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    cref<span class="hl opt">-&gt;</span>nd_next <span class="hl opt">=</span> <span class="hl kwd">get_cref</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">);</span>
    cref<span class="hl opt">-&gt;</span>nd_visi <span class="hl opt">=</span> noex<span class="hl opt">;</span>
    <span class="hl kwa">return</span> cref<span class="hl opt">;</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_get_cbase</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> <span class="hl kwd">vm_get_ruby_level_cfp</span><span class="hl opt">(</span>th<span class="hl opt">,</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">);</span>
    NODE <span class="hl opt">*</span>cref <span class="hl opt">=</span> <span class="hl kwd">get_cref</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">);</span>
    VALUE klass <span class="hl opt">=</span> Qundef<span class="hl opt">;</span>

    <span class="hl kwa">while</span> <span class="hl opt">(</span>cref<span class="hl opt">) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">((</span>klass <span class="hl opt">=</span> cref<span class="hl opt">-&gt;</span>nd_clss<span class="hl opt">) !=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    <span class="hl kwa">break</span><span class="hl opt">;</span>
	<span class="hl opt">}</span>
	cref <span class="hl opt">=</span> cref<span class="hl opt">-&gt;</span>nd_next<span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> klass<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl com">/* jump */</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span><span class="hl kwb">const char</span> <span class="hl opt">*</span>mesg<span class="hl opt">,</span> VALUE value<span class="hl opt">,</span> <span class="hl kwb">int</span> reason<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwc">extern</span> VALUE rb_eLocalJumpError<span class="hl opt">;</span>
    VALUE exc <span class="hl opt">=</span> <span class="hl kwd">rb_exc_new2</span><span class="hl opt">(</span>rb_eLocalJumpError<span class="hl opt">,</span> mesg<span class="hl opt">);</span>
    ID id<span class="hl opt">;</span>

    <span class="hl kwa">switch</span> <span class="hl opt">(</span>reason<span class="hl opt">) {</span>
      <span class="hl kwa">case</span> TAG_BREAK<span class="hl opt">:</span>
	id <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;break&quot;</span><span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_REDO<span class="hl opt">:</span>
	id <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;redo&quot;</span><span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_RETRY<span class="hl opt">:</span>
	id <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;retry&quot;</span><span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_NEXT<span class="hl opt">:</span>
	id <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;next&quot;</span><span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_RETURN<span class="hl opt">:</span>
	id <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;return&quot;</span><span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">default</span><span class="hl opt">:</span>
	id <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;noreason&quot;</span><span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">rb_iv_set</span><span class="hl opt">(</span>exc<span class="hl opt">,</span> <span class="hl str">&quot;&#64;exit_value&quot;</span><span class="hl opt">,</span> value<span class="hl opt">);</span>
    <span class="hl kwd">rb_iv_set</span><span class="hl opt">(</span>exc<span class="hl opt">,</span> <span class="hl str">&quot;&#64;reason&quot;</span><span class="hl opt">,</span> <span class="hl kwd">ID2SYM</span><span class="hl opt">(</span>id<span class="hl opt">));</span>
    <span class="hl kwa">return</span> exc<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">vm_localjump_error</span><span class="hl opt">(</span><span class="hl kwb">const char</span> <span class="hl opt">*</span>mesg<span class="hl opt">,</span> VALUE value<span class="hl opt">,</span> <span class="hl kwb">int</span> reason<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE exc <span class="hl opt">=</span> <span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span>mesg<span class="hl opt">,</span> value<span class="hl opt">,</span> reason<span class="hl opt">);</span>
    <span class="hl kwd">rb_exc_raise</span><span class="hl opt">(</span>exc<span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">vm_make_jump_tag_but_local_jump</span><span class="hl opt">(</span><span class="hl kwb">int</span> state<span class="hl opt">,</span> VALUE val<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE result <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>val <span class="hl opt">==</span> Qundef<span class="hl opt">)</span>
	val <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">()-&gt;</span>tag<span class="hl opt">-&gt;</span>retval<span class="hl opt">;</span>
    <span class="hl kwa">switch</span> <span class="hl opt">(</span>state<span class="hl opt">) {</span>
      <span class="hl kwa">case</span> <span class="hl num">0</span><span class="hl opt">:</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_RETURN<span class="hl opt">:</span>
	result <span class="hl opt">=</span> <span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span><span class="hl str">&quot;unexpected return&quot;</span><span class="hl opt">,</span> val<span class="hl opt">,</span> state<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_BREAK<span class="hl opt">:</span>
	result <span class="hl opt">=</span> <span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span><span class="hl str">&quot;unexpected break&quot;</span><span class="hl opt">,</span> val<span class="hl opt">,</span> state<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_NEXT<span class="hl opt">:</span>
	result <span class="hl opt">=</span> <span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span><span class="hl str">&quot;unexpected next&quot;</span><span class="hl opt">,</span> val<span class="hl opt">,</span> state<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_REDO<span class="hl opt">:</span>
	result <span class="hl opt">=</span> <span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span><span class="hl str">&quot;unexpected redo&quot;</span><span class="hl opt">,</span> Qnil<span class="hl opt">,</span> state<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">case</span> TAG_RETRY<span class="hl opt">:</span>
	result <span class="hl opt">=</span> <span class="hl kwd">make_localjump_error</span><span class="hl opt">(</span><span class="hl str">&quot;retry outside of rescue clause&quot;</span><span class="hl opt">,</span> Qnil<span class="hl opt">,</span> state<span class="hl opt">);</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
      <span class="hl kwa">default</span><span class="hl opt">:</span>
	<span class="hl kwa">break</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> result<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">vm_jump_tag_but_local_jump</span><span class="hl opt">(</span><span class="hl kwb">int</span> state<span class="hl opt">,</span> VALUE val<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE exc <span class="hl opt">=</span> <span class="hl kwd">vm_make_jump_tag_but_local_jump</span><span class="hl opt">(</span>state<span class="hl opt">,</span> val<span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>val <span class="hl opt">!=</span> Qnil<span class="hl opt">) {</span>
	<span class="hl kwd">rb_exc_raise</span><span class="hl opt">(</span>exc<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">JUMP_TAG</span><span class="hl opt">(</span>state<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwd">NORETURN</span><span class="hl opt">(</span><span class="hl kwb">static void</span> <span class="hl kwd">vm_iter_break</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">));</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">vm_iter_break</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    VALUE <span class="hl opt">*</span>dfp <span class="hl opt">=</span> <span class="hl kwd">GC_GUARDED_PTR_REF</span><span class="hl opt">(*</span>cfp<span class="hl opt">-&gt;</span>dfp<span class="hl opt">);</span>

    th<span class="hl opt">-&gt;</span>state <span class="hl opt">=</span> TAG_BREAK<span class="hl opt">;</span>
    th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">= (</span>VALUE<span class="hl opt">)</span><span class="hl kwd">NEW_THROW_OBJECT</span><span class="hl opt">(</span>Qnil<span class="hl opt">, (</span>VALUE<span class="hl opt">)</span>dfp<span class="hl opt">,</span> TAG_BREAK<span class="hl opt">);</span>
    <span class="hl kwd">TH_JUMP_TAG</span><span class="hl opt">(</span>th<span class="hl opt">,</span> TAG_BREAK<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_iter_break</span><span class="hl opt">()</span>
<span class="hl opt">{</span>
    <span class="hl kwd">vm_iter_break</span><span class="hl opt">(</span><span class="hl kwd">GET_THREAD</span><span class="hl opt">());</span>
<span class="hl opt">}</span>

<span class="hl com">/* optimization: redefine management */</span>

VALUE ruby_vm_redefined_flag <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
<span class="hl kwb">static</span> st_table <span class="hl opt">*</span>vm_opt_method_table <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_vm_check_redefinition_opt_method</span><span class="hl opt">(</span>NODE <span class="hl opt">*</span>node<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE bop<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">st_lookup</span><span class="hl opt">(</span>vm_opt_method_table<span class="hl opt">, (</span>st_data_t<span class="hl opt">)</span>node<span class="hl opt">, &amp;</span>bop<span class="hl opt">)) {</span>
	ruby_vm_redefined_flag <span class="hl opt">|=</span> bop<span class="hl opt">;</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">add_opt_method</span><span class="hl opt">(</span>VALUE klass<span class="hl opt">,</span> ID mid<span class="hl opt">,</span> VALUE bop<span class="hl opt">)</span>
<span class="hl opt">{</span>
    NODE <span class="hl opt">*</span>node<span class="hl opt">;</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">st_lookup</span><span class="hl opt">(</span><span class="hl kwd">RCLASS_M_TBL</span><span class="hl opt">(</span>klass<span class="hl opt">),</span> mid<span class="hl opt">, (</span><span class="hl kwb">void</span> <span class="hl opt">*)&amp;</span>node<span class="hl opt">) &amp;&amp;</span>
	<span class="hl kwd">nd_type</span><span class="hl opt">(</span>node<span class="hl opt">-&gt;</span>nd_body<span class="hl opt">-&gt;</span>nd_body<span class="hl opt">) ==</span> NODE_CFUNC<span class="hl opt">) {</span>
	<span class="hl kwd">st_insert</span><span class="hl opt">(</span>vm_opt_method_table<span class="hl opt">, (</span>st_data_t<span class="hl opt">)</span>node<span class="hl opt">, (</span>st_data_t<span class="hl opt">)</span>bop<span class="hl opt">);</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwd">rb_bug</span><span class="hl opt">(</span><span class="hl str">&quot;undefined optimized method:</span> <span class="hl ipl">%s</span><span class="hl str">&quot;</span><span class="hl opt">,</span> <span class="hl kwd">rb_id2name</span><span class="hl opt">(</span>mid<span class="hl opt">));</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">vm_init_redefined_flag</span><span class="hl opt">(</span><span class="hl kwb">void</span><span class="hl opt">)</span>
<span class="hl opt">{</span>
    ID mid<span class="hl opt">;</span>
    VALUE bop<span class="hl opt">;</span>

    vm_opt_method_table <span class="hl opt">=</span> <span class="hl kwd">st_init_numtable</span><span class="hl opt">();</span>

<span class="hl ppc">#define OP(mid_, bop_) (mid = id##mid_, bop = BOP_##bop_)</span>
<span class="hl ppc">#define C(k) add_opt_method(rb_c##k, mid, bop)</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>PLUS<span class="hl opt">,</span> PLUS<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Float<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>String<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Array<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>MINUS<span class="hl opt">,</span> MINUS<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>MULT<span class="hl opt">,</span> MULT<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Float<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>DIV<span class="hl opt">,</span> DIV<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Float<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>MOD<span class="hl opt">,</span> MOD<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Float<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>Eq<span class="hl opt">,</span> EQ<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Float<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>String<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>LT<span class="hl opt">,</span> LT<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>LE<span class="hl opt">,</span> LE<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>LTLT<span class="hl opt">,</span> LTLT<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>String<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Array<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>AREF<span class="hl opt">,</span> AREF<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Array<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Hash<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>ASET<span class="hl opt">,</span> ASET<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Array<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Hash<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>Length<span class="hl opt">,</span> LENGTH<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Array<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>String<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Hash<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>Succ<span class="hl opt">,</span> SUCC<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>String<span class="hl opt">),</span> <span class="hl kwd">C</span><span class="hl opt">(</span>Time<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>GT<span class="hl opt">,</span> GT<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">));</span>
    <span class="hl kwd">OP</span><span class="hl opt">(</span>GE<span class="hl opt">,</span> GE<span class="hl opt">), (</span><span class="hl kwd">C</span><span class="hl opt">(</span>Fixnum<span class="hl opt">));</span>
<span class="hl ppc">#undef C</span>
<span class="hl ppc">#undef OP</span>
<span class="hl opt">}</span>

<span class="hl com">/* evaluator body */</span>

<span class="hl ppc">#include</span> <span class="hl pps">&quot;vm_evalbody.c&quot;</span><span class="hl ppc"></span>

<span class="hl com">/*                  finish</span>
<span class="hl com">  VMe (h1)          finish</span>
<span class="hl com">    VM              finish F1 F2</span>
<span class="hl com">      cfunc         finish F1 F2 C1</span>
<span class="hl com">        rb_funcall  finish F1 F2 C1</span>
<span class="hl com">          VMe       finish F1 F2 C1</span>
<span class="hl com">            VM      finish F1 F2 C1 F3</span>
<span class="hl com"></span>
<span class="hl com">  F1 - F3 : pushed by VM</span>
<span class="hl com">  C1      : pushed by send insn (CFUNC)</span>
<span class="hl com"></span>
<span class="hl com">  struct CONTROL_FRAME {</span>
<span class="hl com">    VALUE *pc;                  // cfp[0]</span>
<span class="hl com">    VALUE *sp;                  // cfp[1]</span>
<span class="hl com">    VALUE *bp;                  // cfp[2]</span>
<span class="hl com">    rb_iseq_t *iseq;            // cfp[3]</span>
<span class="hl com">    VALUE flag;                 // cfp[4]</span>
<span class="hl com">    VALUE self;                 // cfp[5]</span>
<span class="hl com">    VALUE *lfp;                 // cfp[6]</span>
<span class="hl com">    VALUE *dfp;                 // cfp[7]</span>
<span class="hl com">    rb_iseq_t * block_iseq;     // cfp[8]</span>
<span class="hl com">    VALUE proc;                 // cfp[9] always 0</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct BLOCK {</span>
<span class="hl com">    VALUE self;</span>
<span class="hl com">    VALUE *lfp;</span>
<span class="hl com">    VALUE *dfp;</span>
<span class="hl com">    rb_iseq_t *block_iseq;</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct PROC {</span>
<span class="hl com">    VALUE  proc_sig = 0;</span>
<span class="hl com">    struct BLOCK;</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct METHOD_CONTROL_FRAME {</span>
<span class="hl com">    struct CONTROL_FRAME;</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct METHOD_FRAME {</span>
<span class="hl com">    VALUE arg0;</span>
<span class="hl com">    ...</span>
<span class="hl com">    VALUE argM;</span>
<span class="hl com">    VALUE param0;</span>
<span class="hl com">    ...</span>
<span class="hl com">    VALUE paramN;</span>
<span class="hl com">    VALUE special;                         // lfp [1]</span>
<span class="hl com">    struct block_object *block_ptr | 0x01; // lfp [0]</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct BLOCK_CONTROL_FRAME {</span>
<span class="hl com">    struct STACK_FRAME;</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct BLOCK_FRAME {</span>
<span class="hl com">    VALUE arg0;</span>
<span class="hl com">    ...</span>
<span class="hl com">    VALUE argM;</span>
<span class="hl com">    VALUE param0;</span>
<span class="hl com">    ...</span>
<span class="hl com">    VALUE paramN;</span>
<span class="hl com">    VALUE *(prev_ptr | 0x01); // DFP[0]</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct CLASS_CONTROL_FRAME {</span>
<span class="hl com">    struct STACK_FRAME;</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct CLASS_FRAME {</span>
<span class="hl com">    VALUE param0;</span>
<span class="hl com">    ...</span>
<span class="hl com">    VALUE paramN;</span>
<span class="hl com">    VALUE prev_dfp; // for frame jump</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct C_METHOD_CONTROL_FRAME {</span>
<span class="hl com">    VALUE *pc;                       // 0</span>
<span class="hl com">    VALUE *sp;                       // stack pointer</span>
<span class="hl com">    VALUE *bp;                       // base pointer (used in exception)</span>
<span class="hl com">    rb_iseq_t *iseq;               // cmi</span>
<span class="hl com">    VALUE magic;                     // C_METHOD_FRAME</span>
<span class="hl com">    VALUE self;                      // ?</span>
<span class="hl com">    VALUE *lfp;                      // lfp</span>
<span class="hl com">    VALUE *dfp;                      // == lfp</span>
<span class="hl com">    rb_iseq_t * block_iseq;        //</span>
<span class="hl com">    VALUE proc;                      // always 0</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct C_BLOCK_CONTROL_FRAME {</span>
<span class="hl com">    VALUE *pc;                       // point only &quot;finish&quot; insn</span>
<span class="hl com">    VALUE *sp;                       // sp</span>
<span class="hl com">    rb_iseq_t *iseq;               // ?</span>
<span class="hl com">    VALUE magic;                     // C_METHOD_FRAME</span>
<span class="hl com">    VALUE self;                      // needed?</span>
<span class="hl com">    VALUE *lfp;                      // lfp</span>
<span class="hl com">    VALUE *dfp;                      // lfp</span>
<span class="hl com">    rb_iseq_t * block_iseq; // 0</span>
<span class="hl com">  };</span>
<span class="hl com"></span>
<span class="hl com">  struct C_METHDO_FRAME{</span>
<span class="hl com">    VALUE block_ptr;</span>
<span class="hl com">    VALUE special;</span>
<span class="hl com">  };</span>
<span class="hl com"> */</span>


VALUE
<span class="hl kwd">vm_eval_body</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwb">int</span> state<span class="hl opt">;</span>
    VALUE result<span class="hl opt">,</span> err<span class="hl opt">;</span>
    VALUE initial <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>

    <span class="hl kwd">TH_PUSH_TAG</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">((</span>state <span class="hl opt">=</span> <span class="hl kwd">EXEC_TAG</span><span class="hl opt">()) ==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
      vm_loop_start<span class="hl opt">:</span>
	result <span class="hl opt">=</span> <span class="hl kwd">vm_eval</span><span class="hl opt">(</span>th<span class="hl opt">,</span> initial<span class="hl opt">);</span>
	<span class="hl kwa">if</span> <span class="hl opt">((</span>state <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>state<span class="hl opt">) !=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    err <span class="hl opt">=</span> result<span class="hl opt">;</span>
	    th<span class="hl opt">-&gt;</span>state <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
	    <span class="hl kwa">goto</span> exception_handler<span class="hl opt">;</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwb">int</span> i<span class="hl opt">;</span>
	<span class="hl kwb">struct</span> iseq_catch_table_entry <span class="hl opt">*</span>entry<span class="hl opt">;</span>
	<span class="hl kwb">unsigned long</span> epc<span class="hl opt">,</span> cont_pc<span class="hl opt">,</span> cont_sp<span class="hl opt">;</span>
	VALUE catch_iseqval<span class="hl opt">;</span>
	rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">;</span>
	VALUE <span class="hl opt">*</span>escape_dfp <span class="hl opt">=</span> NULL<span class="hl opt">;</span>
	VALUE type<span class="hl opt">;</span>

	err <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>errinfo<span class="hl opt">;</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_RAISE<span class="hl opt">) {</span>
	    <span class="hl kwd">rb_ivar_set</span><span class="hl opt">(</span>err<span class="hl opt">,</span> idThrowState<span class="hl opt">,</span> <span class="hl kwd">INT2FIX</span><span class="hl opt">(</span>state<span class="hl opt">));</span>
	<span class="hl opt">}</span>

      exception_handler<span class="hl opt">:</span>
	cont_pc <span class="hl opt">=</span> cont_sp <span class="hl opt">=</span> catch_iseqval <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>

	<span class="hl kwa">while</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">==</span> <span class="hl num">0</span> <span class="hl opt">||</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>iseq <span class="hl opt">==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">++;</span>
	<span class="hl opt">}</span>

	cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
	epc <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">-</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>iseq_encoded<span class="hl opt">;</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_BREAK <span class="hl opt">||</span> state <span class="hl opt">==</span> TAG_RETURN<span class="hl opt">) {</span>
	    escape_dfp <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_CATCH_POINT</span><span class="hl opt">(</span>err<span class="hl opt">);</span>

	    <span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>dfp <span class="hl opt">==</span> escape_dfp<span class="hl opt">) {</span>
		<span class="hl kwa">if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_RETURN<span class="hl opt">) {</span>
		    <span class="hl kwa">if</span> <span class="hl opt">((</span>cfp <span class="hl opt">+</span> <span class="hl num">1</span><span class="hl opt">)-&gt;</span>pc <span class="hl opt">!= &amp;</span>finish_insn_seq<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">]) {</span>
			<span class="hl kwd">SET_THROWOBJ_CATCH_POINT</span><span class="hl opt">(</span>err<span class="hl opt">, (</span>VALUE<span class="hl opt">)(</span>cfp <span class="hl opt">+</span> <span class="hl num">1</span><span class="hl opt">)-&gt;</span>dfp<span class="hl opt">);</span>
			<span class="hl kwd">SET_THROWOBJ_STATE</span><span class="hl opt">(</span>err<span class="hl opt">,</span> state <span class="hl opt">=</span> TAG_BREAK<span class="hl opt">);</span>
		    <span class="hl opt">}</span>
		    <span class="hl kwa">else</span> <span class="hl opt">{</span>
			result <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_VAL</span><span class="hl opt">(</span>err<span class="hl opt">);</span>
			th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>
			th<span class="hl opt">-&gt;</span>cfp <span class="hl opt">+=</span> <span class="hl num">2</span><span class="hl opt">;</span>
			<span class="hl kwa">goto</span> finish_vme<span class="hl opt">;</span>
		    <span class="hl opt">}</span>
		    <span class="hl com">/* through */</span>
		<span class="hl opt">}</span>
		<span class="hl kwa">else</span> <span class="hl opt">{</span>
		    <span class="hl com">/* TAG_BREAK */</span>
<span class="hl ppc">#if OPT_STACK_CACHING</span>
		    initial <span class="hl opt">= (</span><span class="hl kwd">GET_THROWOBJ_VAL</span><span class="hl opt">(</span>err<span class="hl opt">));</span>
<span class="hl ppc">#else</span>
		    <span class="hl opt">*</span>th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">++ = (</span><span class="hl kwd">GET_THROWOBJ_VAL</span><span class="hl opt">(</span>err<span class="hl opt">));</span>
<span class="hl ppc">#endif</span>
		    th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>
		    <span class="hl kwa">goto</span> vm_loop_start<span class="hl opt">;</span>
		<span class="hl opt">}</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_RAISE<span class="hl opt">) {</span>
	    <span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
		entry <span class="hl opt">= &amp;</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table<span class="hl opt">[</span>i<span class="hl opt">];</span>
		<span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>start <span class="hl opt">&lt;</span> epc <span class="hl opt">&amp;&amp;</span> entry<span class="hl opt">-&gt;</span>end <span class="hl opt">&gt;=</span> epc<span class="hl opt">) {</span>

		    <span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> CATCH_TYPE_RESCUE <span class="hl opt">||</span>
			entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> CATCH_TYPE_ENSURE<span class="hl opt">) {</span>
			catch_iseqval <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
			cont_pc <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>cont<span class="hl opt">;</span>
			cont_sp <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>sp<span class="hl opt">;</span>
			<span class="hl kwa">break</span><span class="hl opt">;</span>
		    <span class="hl opt">}</span>
		<span class="hl opt">}</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_RETRY<span class="hl opt">) {</span>
	    <span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
		entry <span class="hl opt">= &amp;</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table<span class="hl opt">[</span>i<span class="hl opt">];</span>
		<span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>start <span class="hl opt">&lt;</span> epc <span class="hl opt">&amp;&amp;</span> entry<span class="hl opt">-&gt;</span>end <span class="hl opt">&gt;=</span> epc<span class="hl opt">) {</span>

		    <span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> CATCH_TYPE_ENSURE<span class="hl opt">) {</span>
			catch_iseqval <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
			cont_pc <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>cont<span class="hl opt">;</span>
			cont_sp <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>sp<span class="hl opt">;</span>
			<span class="hl kwa">break</span><span class="hl opt">;</span>
		    <span class="hl opt">}</span>
		    <span class="hl kwa">else if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> CATCH_TYPE_RETRY<span class="hl opt">) {</span>
			VALUE <span class="hl opt">*</span>escape_dfp<span class="hl opt">;</span>
			escape_dfp <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_CATCH_POINT</span><span class="hl opt">(</span>err<span class="hl opt">);</span>
			<span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>dfp <span class="hl opt">==</span> escape_dfp<span class="hl opt">) {</span>
			    cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>iseq_encoded <span class="hl opt">+</span> entry<span class="hl opt">-&gt;</span>cont<span class="hl opt">;</span>
			    th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>
			    <span class="hl kwa">goto</span> vm_loop_start<span class="hl opt">;</span>
			<span class="hl opt">}</span>
		    <span class="hl opt">}</span>
		<span class="hl opt">}</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_BREAK <span class="hl opt">&amp;&amp; ((</span>VALUE<span class="hl opt">)</span>escape_dfp <span class="hl opt">&amp; ~</span><span class="hl num">0x03</span><span class="hl opt">) ==</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    type <span class="hl opt">=</span> CATCH_TYPE_BREAK<span class="hl opt">;</span>

	  search_restart_point<span class="hl opt">:</span>
	    <span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
		entry <span class="hl opt">= &amp;</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table<span class="hl opt">[</span>i<span class="hl opt">];</span>

		<span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>start <span class="hl opt">&lt;</span> epc <span class="hl opt">&amp;&amp;</span> entry<span class="hl opt">-&gt;</span>end <span class="hl opt">&gt;=</span> epc<span class="hl opt">) {</span>
		    <span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> CATCH_TYPE_ENSURE<span class="hl opt">) {</span>
			catch_iseqval <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
			cont_pc <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>cont<span class="hl opt">;</span>
			cont_sp <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>sp<span class="hl opt">;</span>
			<span class="hl kwa">break</span><span class="hl opt">;</span>
		    <span class="hl opt">}</span>
		    <span class="hl kwa">else if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> type<span class="hl opt">) {</span>
			cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>iseq_encoded <span class="hl opt">+</span> entry<span class="hl opt">-&gt;</span>cont<span class="hl opt">;</span>
			cfp<span class="hl opt">-&gt;</span>sp <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>bp <span class="hl opt">+</span> entry<span class="hl opt">-&gt;</span>sp<span class="hl opt">;</span>

			<span class="hl kwa">if</span> <span class="hl opt">(!(</span>state <span class="hl opt">==</span> TAG_REDO<span class="hl opt">) &amp;&amp;</span>
			    <span class="hl opt">!(</span>state <span class="hl opt">==</span> TAG_NEXT <span class="hl opt">&amp;&amp; !</span>escape_dfp<span class="hl opt">) &amp;&amp;</span>
			    <span class="hl opt">!(</span>state <span class="hl opt">==</span> TAG_BREAK <span class="hl opt">&amp;&amp; !</span>escape_dfp<span class="hl opt">)) {</span>
<span class="hl ppc">#if OPT_STACK_CACHING</span>
			    initial <span class="hl opt">= (</span><span class="hl kwd">GET_THROWOBJ_VAL</span><span class="hl opt">(</span>err<span class="hl opt">));</span>
<span class="hl ppc">#else</span>
			    <span class="hl opt">*</span>th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">++ = (</span><span class="hl kwd">GET_THROWOBJ_VAL</span><span class="hl opt">(</span>err<span class="hl opt">));</span>
<span class="hl ppc">#endif</span>
			<span class="hl opt">}</span>
			th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>
			<span class="hl kwa">goto</span> vm_loop_start<span class="hl opt">;</span>
		    <span class="hl opt">}</span>
		<span class="hl opt">}</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_REDO<span class="hl opt">) {</span>
	    type <span class="hl opt">=</span> CATCH_TYPE_REDO<span class="hl opt">;</span>
	    escape_dfp <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_CATCH_POINT</span><span class="hl opt">(</span>err<span class="hl opt">);</span>
	    <span class="hl kwa">goto</span> search_restart_point<span class="hl opt">;</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else if</span> <span class="hl opt">(</span>state <span class="hl opt">==</span> TAG_NEXT<span class="hl opt">) {</span>
	    type <span class="hl opt">=</span> CATCH_TYPE_NEXT<span class="hl opt">;</span>
	    escape_dfp <span class="hl opt">=</span> <span class="hl kwd">GET_THROWOBJ_CATCH_POINT</span><span class="hl opt">(</span>err<span class="hl opt">);</span>
	    <span class="hl kwa">goto</span> search_restart_point<span class="hl opt">;</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else</span> <span class="hl opt">{</span>
	    <span class="hl kwa">for</span> <span class="hl opt">(</span>i <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span> i <span class="hl opt">&lt;</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table_size<span class="hl opt">;</span> i<span class="hl opt">++) {</span>
		entry <span class="hl opt">= &amp;</span>cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>catch_table<span class="hl opt">[</span>i<span class="hl opt">];</span>
		<span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>start <span class="hl opt">&lt;</span> epc <span class="hl opt">&amp;&amp;</span> entry<span class="hl opt">-&gt;</span>end <span class="hl opt">&gt;=</span> epc<span class="hl opt">) {</span>

		    <span class="hl kwa">if</span> <span class="hl opt">(</span>entry<span class="hl opt">-&gt;</span>type <span class="hl opt">==</span> CATCH_TYPE_ENSURE<span class="hl opt">) {</span>
			catch_iseqval <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
			cont_pc <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>cont<span class="hl opt">;</span>
			cont_sp <span class="hl opt">=</span> entry<span class="hl opt">-&gt;</span>sp<span class="hl opt">;</span>
			<span class="hl kwa">break</span><span class="hl opt">;</span>
		    <span class="hl opt">}</span>
		<span class="hl opt">}</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>catch_iseqval <span class="hl opt">!=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    <span class="hl com">/* found catch table */</span>
	    rb_iseq_t <span class="hl opt">*</span>catch_iseq<span class="hl opt">;</span>

	    <span class="hl com">/* enter catch scope */</span>
	    <span class="hl kwd">GetISeqPtr</span><span class="hl opt">(</span>catch_iseqval<span class="hl opt">,</span> catch_iseq<span class="hl opt">);</span>
	    cfp<span class="hl opt">-&gt;</span>sp <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>bp <span class="hl opt">+</span> cont_sp<span class="hl opt">;</span>
	    cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">-&gt;</span>iseq_encoded <span class="hl opt">+</span> cont_pc<span class="hl opt">;</span>

	    <span class="hl com">/* push block frame */</span>
	    cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">] =</span> err<span class="hl opt">;</span>
	    <span class="hl kwd">vm_push_frame</span><span class="hl opt">(</span>th<span class="hl opt">,</span> catch_iseq<span class="hl opt">,</span> FRAME_MAGIC_BLOCK<span class="hl opt">,</span>
			  cfp<span class="hl opt">-&gt;</span>self<span class="hl opt">, (</span>VALUE<span class="hl opt">)</span>cfp<span class="hl opt">-&gt;</span>dfp<span class="hl opt">,</span> catch_iseq<span class="hl opt">-&gt;</span>iseq_encoded<span class="hl opt">,</span>
			  cfp<span class="hl opt">-&gt;</span>sp <span class="hl opt">+</span> <span class="hl num">1</span><span class="hl opt">,</span> cfp<span class="hl opt">-&gt;</span>lfp<span class="hl opt">,</span> catch_iseq<span class="hl opt">-&gt;</span>local_size <span class="hl opt">-</span> <span class="hl num">1</span><span class="hl opt">);</span>

	    state <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
	    th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>
	    <span class="hl kwa">goto</span> vm_loop_start<span class="hl opt">;</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else</span> <span class="hl opt">{</span>
	    th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">++;</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">!= &amp;</span>finish_insn_seq<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">]) {</span>
		<span class="hl kwa">goto</span> exception_handler<span class="hl opt">;</span>
	    <span class="hl opt">}</span>
	    <span class="hl kwa">else</span> <span class="hl opt">{</span>
		<span class="hl kwd">vm_pop_frame</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
		th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> err<span class="hl opt">;</span>
		<span class="hl kwd">TH_POP_TAG2</span><span class="hl opt">();</span>
		<span class="hl kwd">JUMP_TAG</span><span class="hl opt">(</span>state<span class="hl opt">);</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>
  finish_vme<span class="hl opt">:</span>
    <span class="hl kwd">TH_POP_TAG</span><span class="hl opt">();</span>
    <span class="hl kwa">return</span> result<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl com">/* misc */</span>

VALUE
<span class="hl kwd">rb_iseq_eval</span><span class="hl opt">(</span>VALUE iseqval<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">();</span>
    VALUE val<span class="hl opt">;</span>
    <span class="hl kwc">volatile</span> VALUE tmp<span class="hl opt">;</span>

    <span class="hl kwd">rb_vm_set_top_stack</span><span class="hl opt">(</span>th<span class="hl opt">,</span> iseqval<span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(!</span><span class="hl kwd">rb_const_defined</span><span class="hl opt">(</span>rb_cObject<span class="hl opt">,</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;TOPLEVEL_BINDING&quot;</span><span class="hl opt">))) {</span>
	<span class="hl kwd">rb_define_global_const</span><span class="hl opt">(</span><span class="hl str">&quot;TOPLEVEL_BINDING&quot;</span><span class="hl opt">,</span> <span class="hl kwd">rb_binding_new</span><span class="hl opt">());</span>
    <span class="hl opt">}</span>
    val <span class="hl opt">=</span> <span class="hl kwd">vm_eval_body</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
    tmp <span class="hl opt">=</span> iseqval<span class="hl opt">;</span> <span class="hl com">/* prohibit tail call optimization */</span>
    <span class="hl kwa">return</span> val<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">int</span>
<span class="hl kwd">rb_thread_method_id_and_class</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">,</span> ID <span class="hl opt">*</span>idp<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>klassp<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    rb_iseq_t <span class="hl opt">*</span>iseq <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
    <span class="hl kwa">if</span> <span class="hl opt">(!</span>iseq<span class="hl opt">) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>idp<span class="hl opt">) *</span>idp <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>method_id<span class="hl opt">;</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>klassp<span class="hl opt">) *</span>klassp <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>method_class<span class="hl opt">;</span>
	<span class="hl kwa">return</span> <span class="hl num">1</span><span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">while</span> <span class="hl opt">(</span>iseq<span class="hl opt">) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">RUBY_VM_IFUNC_P</span><span class="hl opt">(</span>iseq<span class="hl opt">)) {</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>idp<span class="hl opt">) *</span>idp <span class="hl opt">=</span> <span class="hl kwd">rb_intern</span><span class="hl opt">(</span><span class="hl str">&quot;&lt;ifunc&gt;&quot;</span><span class="hl opt">);</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>klassp<span class="hl opt">) *</span>klassp <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
	    <span class="hl kwa">return</span> <span class="hl num">1</span><span class="hl opt">;</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>defined_method_id<span class="hl opt">) {</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>idp<span class="hl opt">) *</span>idp <span class="hl opt">=</span> iseq<span class="hl opt">-&gt;</span>defined_method_id<span class="hl opt">;</span>
	    <span class="hl kwa">if</span> <span class="hl opt">(</span>klassp<span class="hl opt">) *</span>klassp <span class="hl opt">=</span> iseq<span class="hl opt">-&gt;</span>klass<span class="hl opt">;</span>
	    <span class="hl kwa">return</span> <span class="hl num">1</span><span class="hl opt">;</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>local_iseq <span class="hl opt">==</span> iseq<span class="hl opt">) {</span>
	    <span class="hl kwa">break</span><span class="hl opt">;</span>
	<span class="hl opt">}</span>
	iseq <span class="hl opt">=</span> iseq<span class="hl opt">-&gt;</span>parent_iseq<span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">return</span> <span class="hl num">0</span><span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">int</span>
<span class="hl kwd">rb_frame_method_id_and_class</span><span class="hl opt">(</span>ID <span class="hl opt">*</span>idp<span class="hl opt">,</span> VALUE <span class="hl opt">*</span>klassp<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">return</span> <span class="hl kwd">rb_thread_method_id_and_class</span><span class="hl opt">(</span><span class="hl kwd">GET_THREAD</span><span class="hl opt">(),</span> idp<span class="hl opt">,</span> klassp<span class="hl opt">);</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">rb_thread_current_status</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    VALUE str <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>iseq <span class="hl opt">!=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>pc <span class="hl opt">!=</span> <span class="hl num">0</span><span class="hl opt">) {</span>
	    rb_iseq_t <span class="hl opt">*</span>iseq <span class="hl opt">=</span> cfp<span class="hl opt">-&gt;</span>iseq<span class="hl opt">;</span>
	    <span class="hl kwb">int</span> line_no <span class="hl opt">=</span> <span class="hl kwd">vm_get_sourceline</span><span class="hl opt">(</span>cfp<span class="hl opt">);</span>
	    <span class="hl kwb">char</span> <span class="hl opt">*</span>file <span class="hl opt">=</span> <span class="hl kwd">RSTRING_PTR</span><span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>filename<span class="hl opt">);</span>
	    str <span class="hl opt">=</span> <span class="hl kwd">rb_sprintf</span><span class="hl opt">(</span><span class="hl str">&quot;</span><span class="hl ipl">%s</span><span class="hl str">:</span><span class="hl ipl">%d</span><span class="hl str">:in `</span><span class="hl ipl">%s</span><span class="hl str">&#39;&quot;</span><span class="hl opt">,</span>
			     file<span class="hl opt">,</span> line_no<span class="hl opt">,</span> <span class="hl kwd">RSTRING_PTR</span><span class="hl opt">(</span>iseq<span class="hl opt">-&gt;</span>name<span class="hl opt">));</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else if</span> <span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>method_id<span class="hl opt">) {</span>
	str <span class="hl opt">=</span> <span class="hl kwd">rb_sprintf</span><span class="hl opt">(</span><span class="hl str">&quot;`</span><span class="hl ipl">%s</span><span class="hl str">#</span><span class="hl ipl">%s</span><span class="hl str">&#39; (cfunc)&quot;</span><span class="hl opt">,</span>
			 <span class="hl kwd">RSTRING_PTR</span><span class="hl opt">(</span><span class="hl kwd">rb_class_name</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>method_class<span class="hl opt">)),</span>
			 <span class="hl kwd">rb_id2name</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>method_id<span class="hl opt">));</span>
    <span class="hl opt">}</span>

    <span class="hl kwa">return</span> str<span class="hl opt">;</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">rb_vm_call_cfunc</span><span class="hl opt">(</span>VALUE recv<span class="hl opt">,</span> <span class="hl kwd">VALUE</span> <span class="hl opt">(*</span>func<span class="hl opt">)(</span>VALUE<span class="hl opt">),</span> VALUE arg<span class="hl opt">,</span> rb_block_t <span class="hl opt">*</span>blockptr<span class="hl opt">,</span> VALUE filename<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">();</span>
    rb_control_frame_t <span class="hl opt">*</span>reg_cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
    <span class="hl kwc">volatile</span> VALUE iseqval <span class="hl opt">=</span> <span class="hl kwd">rb_iseq_new</span><span class="hl opt">(</span><span class="hl num">0</span><span class="hl opt">,</span> filename<span class="hl opt">,</span> filename<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> ISEQ_TYPE_TOP<span class="hl opt">);</span>
    VALUE val<span class="hl opt">;</span>

    <span class="hl kwd">vm_push_frame</span><span class="hl opt">(</span>th<span class="hl opt">,</span> <span class="hl kwd">DATA_PTR</span><span class="hl opt">(</span>iseqval<span class="hl opt">),</span> FRAME_MAGIC_TOP<span class="hl opt">,</span>
		  recv<span class="hl opt">, (</span>VALUE<span class="hl opt">)</span>blockptr<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> reg_cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> <span class="hl num">1</span><span class="hl opt">);</span>
    val <span class="hl opt">= (*</span>func<span class="hl opt">)(</span>arg<span class="hl opt">);</span>

    <span class="hl kwd">vm_pop_frame</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
    <span class="hl kwa">return</span> val<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">int</span>
<span class="hl kwd">rb_vm_cfunc_funcall_p</span><span class="hl opt">(</span>rb_control_frame_t <span class="hl opt">*</span>cfp<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">vm_cfunc_flags</span><span class="hl opt">(</span>cfp<span class="hl opt">) &amp; (</span>VM_CALL_FCALL_BIT <span class="hl opt">|</span> VM_CALL_VCALL_BIT<span class="hl opt">))</span>
	<span class="hl kwa">return</span> Qtrue<span class="hl opt">;</span>
    <span class="hl kwa">return</span> Qfalse<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl com">/* vm */</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">vm_free</span><span class="hl opt">(</span><span class="hl kwb">void</span> <span class="hl opt">*</span>ptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwd">RUBY_FREE_ENTER</span><span class="hl opt">(</span><span class="hl str">&quot;vm&quot;</span><span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>ptr<span class="hl opt">) {</span>
	rb_vm_t <span class="hl opt">*</span>vmobj <span class="hl opt">=</span> ptr<span class="hl opt">;</span>

	<span class="hl kwd">st_free_table</span><span class="hl opt">(</span>vmobj<span class="hl opt">-&gt;</span>living_threads<span class="hl opt">);</span>
	vmobj<span class="hl opt">-&gt;</span>living_threads <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
	<span class="hl com">/* TODO: MultiVM Instance */</span>
	<span class="hl com">/* VM object should not be cleaned by GC */</span>
	<span class="hl com">/* ruby_xfree(ptr); */</span>
	<span class="hl com">/* ruby_current_vm = 0; */</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">RUBY_FREE_LEAVE</span><span class="hl opt">(</span><span class="hl str">&quot;vm&quot;</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">static int</span>
<span class="hl kwd">vm_mark_each_thread_func</span><span class="hl opt">(</span>st_data_t key<span class="hl opt">,</span> st_data_t value<span class="hl opt">,</span> st_data_t dummy<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE thval <span class="hl opt">= (</span>VALUE<span class="hl opt">)</span>key<span class="hl opt">;</span>
    <span class="hl kwd">rb_gc_mark</span><span class="hl opt">(</span>thval<span class="hl opt">);</span>
    <span class="hl kwa">return</span> ST_CONTINUE<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">mark_event_hooks</span><span class="hl opt">(</span>rb_event_hook_t <span class="hl opt">*</span>hook<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">while</span> <span class="hl opt">(</span>hook<span class="hl opt">) {</span>
	<span class="hl kwd">rb_gc_mark</span><span class="hl opt">(</span>hook<span class="hl opt">-&gt;</span>data<span class="hl opt">);</span>
	hook <span class="hl opt">=</span> hook<span class="hl opt">-&gt;</span>next<span class="hl opt">;</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_vm_mark</span><span class="hl opt">(</span><span class="hl kwb">void</span> <span class="hl opt">*</span>ptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwd">RUBY_MARK_ENTER</span><span class="hl opt">(</span><span class="hl str">&quot;vm&quot;</span><span class="hl opt">);</span>
    <span class="hl kwd">RUBY_GC_INFO</span><span class="hl opt">(</span><span class="hl str">&quot;-------------------------------------------------</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>ptr<span class="hl opt">) {</span>
	rb_vm_t <span class="hl opt">*</span>vm <span class="hl opt">=</span> ptr<span class="hl opt">;</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>living_threads<span class="hl opt">) {</span>
	    <span class="hl kwd">st_foreach</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>living_threads<span class="hl opt">,</span> vm_mark_each_thread_func<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">);</span>
	<span class="hl opt">}</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>thgroup_default<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>mark_object_ary<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>last_status<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>loaded_features<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>top_self<span class="hl opt">);</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>loading_table<span class="hl opt">) {</span>
	    <span class="hl kwd">rb_mark_tbl</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>loading_table<span class="hl opt">);</span>
	<span class="hl opt">}</span>

	<span class="hl kwd">mark_event_hooks</span><span class="hl opt">(</span>vm<span class="hl opt">-&gt;</span>event_hooks<span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwd">RUBY_MARK_LEAVE</span><span class="hl opt">(</span><span class="hl str">&quot;vm&quot;</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">vm_init2</span><span class="hl opt">(</span>rb_vm_t <span class="hl opt">*</span>vm<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwd">MEMZERO</span><span class="hl opt">(</span>vm<span class="hl opt">,</span> rb_vm_t<span class="hl opt">,</span> <span class="hl num">1</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl com">/* Thread */</span>

<span class="hl ppc">#define USE_THREAD_DATA_RECYCLE 1</span>

<span class="hl ppc">#if USE_THREAD_DATA_RECYCLE</span>
<span class="hl ppc">#define RECYCLE_MAX 64</span>
VALUE <span class="hl opt">*</span>thread_recycle_stack_slot<span class="hl opt">[</span>RECYCLE_MAX<span class="hl opt">];</span>
<span class="hl kwb">int</span> thread_recycle_stack_count <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>

<span class="hl kwb">static</span> VALUE <span class="hl opt">*</span>
<span class="hl kwd">thread_recycle_stack</span><span class="hl opt">(</span><span class="hl kwb">int</span> size<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>thread_recycle_stack_count<span class="hl opt">) {</span>
	<span class="hl kwa">return</span> thread_recycle_stack_slot<span class="hl opt">[--</span>thread_recycle_stack_count<span class="hl opt">];</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwa">return</span> <span class="hl kwd">ALLOC_N</span><span class="hl opt">(</span>VALUE<span class="hl opt">,</span> size<span class="hl opt">);</span>
    <span class="hl opt">}</span>
<span class="hl opt">}</span>

<span class="hl ppc">#else</span>
<span class="hl ppc">#define thread_recycle_stack(size) ALLOC_N(VALUE, (size))</span>
<span class="hl ppc">#endif</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_thread_recycle_stack_release</span><span class="hl opt">(</span>VALUE <span class="hl opt">*</span>stack<span class="hl opt">)</span>
<span class="hl opt">{</span>
<span class="hl ppc">#if USE_THREAD_DATA_RECYCLE</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>thread_recycle_stack_count <span class="hl opt">&lt;</span> RECYCLE_MAX<span class="hl opt">) {</span>
	thread_recycle_stack_slot<span class="hl opt">[</span>thread_recycle_stack_count<span class="hl opt">++] =</span> stack<span class="hl opt">;</span>
    <span class="hl opt">}</span>
    <span class="hl kwa">else</span> <span class="hl opt">{</span>
	<span class="hl kwd">ruby_xfree</span><span class="hl opt">(</span>stack<span class="hl opt">);</span>
    <span class="hl opt">}</span>
<span class="hl ppc">#else</span>
	<span class="hl kwd">ruby_xfree</span><span class="hl opt">(</span>stack<span class="hl opt">);</span>
<span class="hl ppc">#endif</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> rb_thread_t <span class="hl opt">*</span>
<span class="hl kwd">thread_recycle_struct</span><span class="hl opt">(</span><span class="hl kwb">void</span><span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwb">void</span> <span class="hl opt">*</span>p <span class="hl opt">=</span> <span class="hl kwd">ALLOC_N</span><span class="hl opt">(</span>rb_thread_t<span class="hl opt">,</span> <span class="hl num">1</span><span class="hl opt">);</span>
    <span class="hl kwd">memset</span><span class="hl opt">(</span>p<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> <span class="hl kwa">sizeof</span><span class="hl opt">(</span>rb_thread_t<span class="hl opt">));</span>
    <span class="hl kwa">return</span> p<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">thread_free</span><span class="hl opt">(</span><span class="hl kwb">void</span> <span class="hl opt">*</span>ptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">;</span>
    <span class="hl kwd">RUBY_FREE_ENTER</span><span class="hl opt">(</span><span class="hl str">&quot;thread&quot;</span><span class="hl opt">);</span>

    <span class="hl kwa">if</span> <span class="hl opt">(</span>ptr<span class="hl opt">) {</span>
	th <span class="hl opt">=</span> ptr<span class="hl opt">;</span>
	
	<span class="hl kwa">if</span> <span class="hl opt">(!</span>th<span class="hl opt">-&gt;</span>root_fiber<span class="hl opt">) {</span>
	    <span class="hl kwd">RUBY_FREE_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>stack<span class="hl opt">);</span>
	<span class="hl opt">}</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>local_storage<span class="hl opt">) {</span>
	    <span class="hl kwd">st_free_table</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>local_storage<span class="hl opt">);</span>
	<span class="hl opt">}</span>

<span class="hl ppc">#if USE_VALUE_CACHE</span>
	<span class="hl opt">{</span>
	    VALUE <span class="hl opt">*</span>ptr <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>value_cache_ptr<span class="hl opt">;</span>
	    <span class="hl kwa">while</span> <span class="hl opt">(*</span>ptr<span class="hl opt">) {</span>
		VALUE v <span class="hl opt">= *</span>ptr<span class="hl opt">;</span>
		<span class="hl kwd">RBASIC</span><span class="hl opt">(</span>v<span class="hl opt">)-&gt;</span>flags <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
		<span class="hl kwd">RBASIC</span><span class="hl opt">(</span>v<span class="hl opt">)-&gt;</span>klass <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
		ptr<span class="hl opt">++;</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>
<span class="hl ppc">#endif</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>vm<span class="hl opt">-&gt;</span>main_thread <span class="hl opt">==</span> th<span class="hl opt">) {</span>
	    <span class="hl kwd">RUBY_GC_INFO</span><span class="hl opt">(</span><span class="hl str">&quot;main thread</span><span class="hl esc">\n</span><span class="hl str">&quot;</span><span class="hl opt">);</span>
	<span class="hl opt">}</span>
	<span class="hl kwa">else</span> <span class="hl opt">{</span>
	    <span class="hl kwd">ruby_xfree</span><span class="hl opt">(</span>ptr<span class="hl opt">);</span>
	<span class="hl opt">}</span>
    <span class="hl opt">}</span>
    <span class="hl kwd">RUBY_FREE_LEAVE</span><span class="hl opt">(</span><span class="hl str">&quot;thread&quot;</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">void</span> <span class="hl kwd">rb_gc_mark_machine_stack</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">);</span>

<span class="hl kwb">void</span>
<span class="hl kwd">rb_thread_mark</span><span class="hl opt">(</span><span class="hl kwb">void</span> <span class="hl opt">*</span>ptr<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> NULL<span class="hl opt">;</span>
    <span class="hl kwd">RUBY_MARK_ENTER</span><span class="hl opt">(</span><span class="hl str">&quot;thread&quot;</span><span class="hl opt">);</span>
    <span class="hl kwa">if</span> <span class="hl opt">(</span>ptr<span class="hl opt">) {</span>
	th <span class="hl opt">=</span> ptr<span class="hl opt">;</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>stack<span class="hl opt">) {</span>
	    VALUE <span class="hl opt">*</span>p <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>stack<span class="hl opt">;</span>
	    VALUE <span class="hl opt">*</span>sp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">-&gt;</span>sp<span class="hl opt">;</span>
	    rb_control_frame_t <span class="hl opt">*</span>cfp <span class="hl opt">=</span> th<span class="hl opt">-&gt;</span>cfp<span class="hl opt">;</span>
	    rb_control_frame_t <span class="hl opt">*</span>limit_cfp <span class="hl opt">= (</span><span class="hl kwb">void</span> <span class="hl opt">*)(</span>th<span class="hl opt">-&gt;</span>stack <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">);</span>

	    <span class="hl kwa">while</span> <span class="hl opt">(</span>p <span class="hl opt">&lt;</span> sp<span class="hl opt">) {</span>
		<span class="hl kwd">rb_gc_mark</span><span class="hl opt">(*</span>p<span class="hl opt">++);</span>
	    <span class="hl opt">}</span>
	    <span class="hl kwd">rb_gc_mark_locations</span><span class="hl opt">(</span>p<span class="hl opt">,</span> p <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>mark_stack_len<span class="hl opt">);</span>

	    <span class="hl kwa">while</span> <span class="hl opt">(</span>cfp <span class="hl opt">!=</span> limit_cfp<span class="hl opt">) {</span>
		<span class="hl kwd">rb_gc_mark</span><span class="hl opt">(</span>cfp<span class="hl opt">-&gt;</span>proc<span class="hl opt">);</span>
		cfp <span class="hl opt">=</span> <span class="hl kwd">RUBY_VM_PREVIOUS_CONTROL_FRAME</span><span class="hl opt">(</span>cfp<span class="hl opt">);</span>
	    <span class="hl opt">}</span>
	<span class="hl opt">}</span>

	<span class="hl com">/* mark ruby objects */</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>first_proc<span class="hl opt">);</span>
	<span class="hl kwa">if</span> <span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>first_proc<span class="hl opt">)</span> <span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>first_args<span class="hl opt">);</span>

	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>thgroup<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>value<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>errinfo<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>thrown_errinfo<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>local_svar<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>top_self<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>top_wrapper<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>fiber<span class="hl opt">);</span>
	<span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>root_fiber<span class="hl opt">);</span>

	<span class="hl kwd">rb_mark_tbl</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>local_storage<span class="hl opt">);</span>

	<span class="hl kwa">if</span> <span class="hl opt">(</span><span class="hl kwd">GET_THREAD</span><span class="hl opt">() !=</span> th <span class="hl opt">&amp;&amp;</span> th<span class="hl opt">-&gt;</span>machine_stack_start <span class="hl opt">&amp;&amp;</span> th<span class="hl opt">-&gt;</span>machine_stack_end<span class="hl opt">) {</span>
	    <span class="hl kwd">rb_gc_mark_machine_stack</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
	    <span class="hl kwd">rb_gc_mark_locations</span><span class="hl opt">((</span>VALUE <span class="hl opt">*)&amp;</span>th<span class="hl opt">-&gt;</span>machine_regs<span class="hl opt">,</span>
				 <span class="hl opt">(</span>VALUE <span class="hl opt">*)(&amp;</span>th<span class="hl opt">-&gt;</span>machine_regs<span class="hl opt">) +</span>
				 <span class="hl kwa">sizeof</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>machine_regs<span class="hl opt">) /</span> <span class="hl kwa">sizeof</span><span class="hl opt">(</span>VALUE<span class="hl opt">));</span>
	<span class="hl opt">}</span>

	<span class="hl kwd">mark_event_hooks</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>event_hooks<span class="hl opt">);</span>
    <span class="hl opt">}</span>

    <span class="hl kwd">RUBY_MARK_UNLESS_NULL</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>stat_insn_usage<span class="hl opt">);</span>
    <span class="hl kwd">RUBY_MARK_LEAVE</span><span class="hl opt">(</span><span class="hl str">&quot;thread&quot;</span><span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">thread_alloc</span><span class="hl opt">(</span>VALUE klass<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE <span class="hl kwc">volatile</span> obj<span class="hl opt">;</span>
<span class="hl ppc">#ifdef USE_THREAD_RECYCLE</span>
    rb_thread_t <span class="hl opt">*</span>th <span class="hl opt">=</span> <span class="hl kwd">thread_recycle_struct</span><span class="hl opt">();</span>
    obj <span class="hl opt">=</span> <span class="hl kwd">Data_Wrap_Struct</span><span class="hl opt">(</span>klass<span class="hl opt">,</span> rb_thread_mark<span class="hl opt">,</span> thread_free<span class="hl opt">,</span> th<span class="hl opt">);</span>
<span class="hl ppc">#else</span>
    rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">;</span>
    obj <span class="hl opt">=</span> <span class="hl kwd">Data_Make_Struct</span><span class="hl opt">(</span>klass<span class="hl opt">,</span> rb_thread_t<span class="hl opt">,</span>
			   rb_thread_mark<span class="hl opt">,</span> thread_free<span class="hl opt">,</span> th<span class="hl opt">);</span>
<span class="hl ppc">#endif</span>
    <span class="hl kwa">return</span> obj<span class="hl opt">;</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">th_init2</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl com">/* allocate thread stack */</span>
    th<span class="hl opt">-&gt;</span>stack_size <span class="hl opt">=</span> RUBY_VM_THREAD_STACK_SIZE<span class="hl opt">;</span>
    th<span class="hl opt">-&gt;</span>stack <span class="hl opt">=</span> <span class="hl kwd">thread_recycle_stack</span><span class="hl opt">(</span>th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">);</span>

    th<span class="hl opt">-&gt;</span>cfp <span class="hl opt">= (</span><span class="hl kwb">void</span> <span class="hl opt">*)(</span>th<span class="hl opt">-&gt;</span>stack <span class="hl opt">+</span> th<span class="hl opt">-&gt;</span>stack_size<span class="hl opt">);</span>

    <span class="hl kwd">vm_push_frame</span><span class="hl opt">(</span>th<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> FRAME_MAGIC_TOP<span class="hl opt">,</span> Qnil<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span>
		  th<span class="hl opt">-&gt;</span>stack<span class="hl opt">,</span> <span class="hl num">0</span><span class="hl opt">,</span> <span class="hl num">1</span><span class="hl opt">);</span>

    th<span class="hl opt">-&gt;</span>status <span class="hl opt">=</span> THREAD_RUNNABLE<span class="hl opt">;</span>
    th<span class="hl opt">-&gt;</span>errinfo <span class="hl opt">=</span> Qnil<span class="hl opt">;</span>

<span class="hl ppc">#if USE_VALUE_CACHE</span>
    th<span class="hl opt">-&gt;</span>value_cache_ptr <span class="hl opt">= &amp;</span>th<span class="hl opt">-&gt;</span>value_cache<span class="hl opt">[</span><span class="hl num">0</span><span class="hl opt">];</span>
<span class="hl ppc">#endif</span>
<span class="hl opt">}</span>

<span class="hl kwb">static void</span>
<span class="hl kwd">th_init</span><span class="hl opt">(</span>rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">)</span>
<span class="hl opt">{</span>
    <span class="hl kwd">th_init2</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
<span class="hl opt">}</span>

<span class="hl kwb">static</span> VALUE
<span class="hl kwd">ruby_thread_init</span><span class="hl opt">(</span>VALUE self<span class="hl opt">)</span>
<span class="hl opt">{</span>
    rb_thread_t <span class="hl opt">*</span>th<span class="hl opt">;</span>
    rb_vm_t <span class="hl opt">*</span>vm <span class="hl opt">=</span> <span class="hl kwd">GET_THREAD</span><span class="hl opt">()-&gt;</span>vm<span class="hl opt">;</span>
    <span class="hl kwd">GetThreadPtr</span><span class="hl opt">(</span>self<span class="hl opt">,</span> th<span class="hl opt">);</span>

    <span class="hl kwd">th_init</span><span class="hl opt">(</span>th<span class="hl opt">);</span>
    th<span class="hl opt">-&gt;</span>self <span class="hl opt">=</span> self<span class="hl opt">;</span>
    th<span class="hl opt">-&gt;</span>vm <span class="hl opt">=</span> vm<span class="hl opt">;</span>

    th<span class="hl opt">-&gt;</span>top_wrapper <span class="hl opt">=</span> <span class="hl num">0</span><span class="hl opt">;</span>
    th<span class="hl opt">-&gt;</span>top_self <span class="hl opt">=</span> <span class="hl kwd">rb_vm_top_self</span><span class="hl opt">();</span>
    <span class="hl kwa">return</span> self<span class="hl opt">;</span>
<span class="hl opt">}</span>

VALUE
<span class="hl kwd">rb_thread_alloc</span><span class="hl opt">(</span>VALUE klass<span class="hl opt">)</span>
<span class="hl opt">{</span>
    VALUE self <span class="hl opt">=</span> <span class="hl kwd">thread_alloc</span><span class="hl opt">(</span>klass<span class="hl opt">);