Recycling concrete https://stallman.org/archives/2018-nov-feb.html#28_February_2019_%28Recycling_concrete%29