bug in record::size() risolto.