const b32 uint32 = 1<<32 - 1
 const b64 uint64 = 1<<64 - 1
 var array = []int{1, 2, 3, 4, 5}
-
+var iarray = []interface{}{1, "hello", 2.5, nil}
 
 var fmttests = []fmtTest{
        // basic string
        fmtTest{ "% d",         -12345, "-12345" },
 
        // arrays
-       // TODO: when arrays work in interfaces, enable this line
-       // and delete the TestArrayPrinter routine below
-       // fmtTest{ "%v",               array,                  "[1 2 3 4 5]" },
+       fmtTest{ "%v",          array,                  "[1 2 3 4 5]" },
+       fmtTest{ "%v",          iarray,                 "[1 hello 2.5 <nil>]" },
        fmtTest{ "%v",          &array,                 "&[1 2 3 4 5]" },
+       fmtTest{ "%v",          &iarray,                        "&[1 hello 2.5 <nil>]" },
 
        // old test/fmt_test.go
        fmtTest{ "%d",          1234,                   "1234" },
                }
        }
 }
-
-func TestArrayPrinter(t *testing.T) {
-       a := []int{1, 2, 3, 4, 5};
-       want := "[1 2 3 4 5]";
-       out := fmt.Sprintf("%v", a);
-       if out != want {
-               t.Errorf("Sprintf(%%v, array) = %q, want %q", out, want);
-       }
-       want = "&" + want;
-       out = fmt.Sprintf("%v", &a);
-       if out != want {
-               t.Errorf("Sprintf(%%v, &array) = %q, want %q", out, want);
-       }
-}
 
                }
                p.add('}');
        case reflect.InterfaceKind:
-               inter := field.(reflect.InterfaceValue).Get();
-               if inter == nil {
+               value := field.(reflect.InterfaceValue).Value();
+               if value == nil {
                        s = "<nil>"
                } else {
-                       // should never happen since a non-nil interface always has a type
-                       s = "<non-nil interface>";
+                       return p.printField(value);
                }
        default:
                s = "?" + field.Type().String() + "?";
 
        assert(v3.Type().String(), "float");
 }
 
+func TestInterfaceValue(t *testing.T) {
+       var inter struct { e interface{ } };
+       inter.e = 123.456;
+       v1 := reflect.NewValue(&inter);
+       v2 := v1.(reflect.PtrValue).Sub().(reflect.StructValue).Field(0);
+       assert(v2.Type().String(), "interface { }");
+       v3 := v2.(reflect.InterfaceValue).Value();
+       assert(v3.Type().String(), "float");
+}
+
 func TestCopyArray(t *testing.T) {
        a := []int{ 1, 2, 3, 4, 10, 9, 8, 7 };
        b := []int{ 11, 22, 33, 44, 1010, 99, 88, 77, 66, 55, 44 };
 
        Interface()     interface {};
 }
 
+func NewValue(e interface{}) Value;
+
 // commonValue fields and functionality for all values
 
 type commonValue struct {
 type InterfaceValue interface {
        Value;
        Get()   interface {};   // Get the underlying interface{} value.
+       Value() Value;
 }
 
 type interfaceValueStruct struct {
        return *(*interface{})(v.addr)
 }
 
+func (v *interfaceValueStruct) Value() Value {
+       i := v.Get();
+       if i == nil {
+               return nil;
+       }
+       return NewValue(i);
+}
+
 func interfaceCreator(typ Type, addr Addr) Value {
        return &interfaceValueStruct{ commonValue{InterfaceKind, typ, addr} }
 }