They’ve already retired for the most part. Stallman for example is 72.