ListOf::size should return `r_len_t`