Thrift does not have 'repeated'