BoxedInt_0	=	[6] {
    (no name)	=	<abstr:255>
    (no name)	=	<abstr:255>
    (no name)	=	<abstr:255>
    (no name)	=	1
    (no name)	=	1
    (no name)	=	2
}