i2 : voidstarstar {address int 0, address int 1, address int 2}
o2 = {0xffff88590430, 0xffff88590420, 0xffff88590400}
o2 : ForeignObject of type void**
|
i4 : int2star {{1, 2}, {3, 4}, {5, 6}, {7, 8}, {9, 10}}
o4 = {{1, 2}, {3, 4}, {5, 6}, {7, 8}, {9, 10}}
o4 : ForeignObject of type int32[2]*
|