pccard_tuple_read_4
pccard_tuple_read_4(tuple, idx);
pccard_tuple_read_4(tuple, idx);
longlink_addr = pccard_tuple_read_4(&tuple, 0);
pccard_tuple_read_4(&tuple,
/* n == 4 */ pccard_tuple_read_4((tuple), (idxn)))))