# File basiclibrary.rb, line 348
  def ensure_version( ver )
    if ( RUBY_VERSION.split(/\./).map{|x|x.to_i} <=> ver.split(/\./).map{|x|x.to_i} ) < 0
      throw "Version error: should be #{ver} but is #{RUBY_VERSION}"
    end
  end