[PP] Getting the size of a tuple