Yes, it would be 20% wasteful. But giving up freedom can be more costly.
Also, the 20% would be open to further optimization by the community, so it wouldn't be that bad in practice, probably.
Also, the 20% would be open to further optimization by the community, so it wouldn't be that bad in practice, probably.