c-reduce has been backported and starting to be able to use it