Rough sketch of workspace list-and-count.