1 2 3 4 5 6 7 8
BoxedInt_0 = [6] { (no name) = <abstr:255> (no name) = <abstr:255> (no name) = <abstr:255> (no name) = 1 (no name) = 1 (no name) = 2 }