class C does Compact is rw
	   {
	   has int32 $x;
	   has VLI $y;
	   }
	   
	my C $c;  # for a Compact class, empty prototype is not undef but default values
	$c.x= 5;  # OK
	$c.y.value = 1234567812345678;  # yuck