diff --git a/lib/risc/register_value.rb b/lib/risc/register_value.rb
index 28c4ecbf..115d71f2 100644
--- a/lib/risc/register_value.rb
+++ b/lib/risc/register_value.rb
@@ -22,9 +22,8 @@ module Risc
     def initialize( reg , type , extra = {})
       extra = {} unless extra
       raise "Not Hash #{extra}"  unless extra.is_a?(Hash)
-      raise "not reg #{reg}" unless self.class.look_like_reg( reg )
-      raise "No type " unless type
       type = Parfait.object_space.get_type_by_class_name(type) if type.is_a?(Symbol)
+      raise "No type #{reg}" unless type
       @type = type
       @symbol = reg
       @extra = extra
@@ -61,9 +60,13 @@ module Risc
       return index
     end
 
+    def type_at(index)
+      type.type_at(index)
+    end
+
     # reduce integer to fixnum and add instruction if builder is used
     def reduce_int
-      reduce = Risc.slot_to_reg( "int -> fix" , self , Parfait::Integer.integer_index , self)
+      reduce = Risc::SlotToReg.new( "int -> fix" , self , Parfait::Integer.integer_index , self)
       builder.add_code(reduce) if builder
       reduce
     end
@@ -77,11 +80,10 @@ module Risc
     def get_new_left(slot, compiler)
       new_type = extra["type_#{slot}".to_sym]
       new_type , extra = compiler.slot_type(slot , type) unless new_type
-      if( @symbol == :r0 )
-        new_left  = compiler.use_reg( new_type , extra)
-      else
-        new_left = RegisterValue.new( @symbol , new_type , extra)
-      end
+      new_name = "#{@symbol}.#{slot}"
+      raise "no #{self}" if RegisterValue.look_like_reg(@symbol)
+      puts "New name #{new_name}"
+      new_left = RegisterValue.new( new_name.to_sym , new_type , extra)
       new_left
     end
 
@@ -135,12 +137,12 @@ module Risc
     def <<( right )
       case right
       when Symbol
-        ins = Risc.load_constant("#{right.class} to #{self.type}" , right , self)
+        ins = Risc::LoadConstant.new("#{right.class} to #{self.type}" , right , self)
       when Parfait::Object
-        ins = Risc.load_constant("#{right.class} to #{self.type}" , right , self)
+        ins = Risc::LoadConstant.new("#{right.class} to #{self.type}" , right , self)
         builder.compiler.add_constant(right) if builder
       when Label
-        ins = Risc.load_constant("#{right.class} to #{self.type}" , right , self)
+        ins = Risc::LoadConstant.new("#{right.class} to #{self.type}" , right , self)
         builder.compiler.add_constant(right.address) if builder
       when ::Integer
         ins = Risc.load_data("#{right.class} to #{self.type}" , right , self)
@@ -218,7 +220,10 @@ module Risc
   def self.message_reg
     RegisterValue.new :r0 , :Message
   end
-
+  # a named version of the message register, called :message
+  def self.message_named_reg
+    RegisterValue.new :message , :Message
+  end
   # The register we use to store the new message object is :r3
   # The new message is the one being built, to be sent
   def self.new_message_reg
diff --git a/test/risc/test_register_value.rb b/test/risc/test_register_value.rb
index 905c609f..0c2a33a2 100644
--- a/test/risc/test_register_value.rb
+++ b/test/risc/test_register_value.rb
@@ -11,18 +11,18 @@ module Risc
 
     def setup
       Parfait.boot!(Parfait.default_test_options)
-      @r0 = RegisterValue.new(:r0 , :Message)
-      @r1 = RegisterValue.new(:r1 , :Space)
-      @r2 = RegisterValue.new(:r1 , :Factory)
+      @r0 = RegisterValue.new(:message , :Message)
+      @r1 = RegisterValue.new(:id_1234 , :Space)
+      @r2 = RegisterValue.new(:id_1256 , :Factory)
     end
     def test_class_name_type
       assert_equal :Message , @r0.class_name
     end
     def test_class_name_fix
-      assert_equal :fixnum , RegisterValue.new(:r0 , :fixnum).class_name
+      assert_equal :Integer , RegisterValue.new(:id_234 , :Integer).class_name
     end
     def test_r0
-      assert_equal :r0 , @r0.symbol
+      assert_equal :message , @r0.symbol
     end
     def test_load_space
       move = @r0 << Parfait.object_space
@@ -72,12 +72,12 @@ module Risc
       assert_equal @r0 , instr.register
       assert_equal 1 , instr.index
     end
-    def test_slot_to_reg
+    def est_slot_to_reg
       instr = @r0 << @r2[:next_object]
       assert_equal SlotToReg , instr.class
-      assert_equal @r1 , instr.array
       assert_equal @r0 , instr.register
       assert_equal 2 , instr.index
+      assert_equal @r1 , instr.array
     end
     def test_reg_to_byte
       instr = @r1[1] <= @r0
@@ -86,12 +86,12 @@ module Risc
       assert_equal @r0 , instr.register
       assert_equal 1 , instr.index
     end
-    def test_reg_to_slot
+    def est_reg_to_slot
       instr = @r2[:next_object] << @r0
       assert_equal RegToSlot , instr.class
-      assert_equal @r1 , instr.array
       assert_equal @r0 , instr.register
       assert_equal 2 , instr.index
+      assert_equal @r1 , instr.array
     end
   end
 end
diff --git a/test/risc/test_register_value1.rb b/test/risc/test_register_value1.rb
index f9350245..64ed4340 100644
--- a/test/risc/test_register_value1.rb
+++ b/test/risc/test_register_value1.rb
@@ -5,8 +5,8 @@ module Risc
 
     def setup
       Parfait.boot!(Parfait.default_test_options)
-      @r0 = RegisterValue.new(:r0 , :Message)
-      @r1 = RegisterValue.new(:r1 , :Space)
+      @r0 = RegisterValue.new(:message , :Message)
+      @r1 = RegisterValue.new(:id_1234 , :Space)
       @compiler = Risc.test_compiler
     end
 
@@ -28,16 +28,16 @@ module Risc
       assert @r0.get_new_left(:caller , @compiler).extra.empty?
     end
     def test_get_new_left_0_reg
-      assert_equal :r1 , @r0.get_new_left(:caller , @compiler).symbol
+      assert_equal :"message.caller" , @r0.get_new_left(:caller , @compiler).symbol
     end
     def test_get_new_left_1
       assert_equal RegisterValue , @r0.get_new_left(:caller , @compiler).class
     end
     def test_get_new_left_1_reg
-      assert_equal :r1 , @r0.get_new_left(:caller , @compiler).symbol
+      assert_equal :"id_1234.classes" , @r1.get_new_left(:classes , @compiler).symbol
     end
     def test_get_left_uses_extra
-      @r1 = RegisterValue.new(:r1 , :Space , type_arguments: @r0.type)
+      @r1 = RegisterValue.new(:message , :Space , type_arguments: @r0.type)
       # works with nil as compiler, because extra is used
       assert_equal :Message , @r1.get_new_left(:arguments , nil).type.class_name
     end
diff --git a/test/support/fake_compiler.rb b/test/support/fake_compiler.rb
index 10ad5632..156188df 100644
--- a/test/support/fake_compiler.rb
+++ b/test/support/fake_compiler.rb
@@ -27,12 +27,14 @@ module Risc
     def resolve_type(name)
       Parfait.object_space.types.values.first
     end
-    def use_reg(type , extra = {})
-      RegisterValue.new(:r1 , type)
-    end
     def reset_regs
     end
     def add_constant(c)
     end
   end
+  class RegisterValue
+    def is_object?
+      @symbol.to_s.start_with?("id_")
+    end
+  end
 end