recovery: count() -> __len__()