i2 : voidstarstar {address int 0, address int 1, address int 2}
o2 = {0x7fc728eb4910, 0x7fc728eb4900, 0x7fc728eb48e0}
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]*
|