Bounds for #3868 and #3869
Bounds for #3868 and #3869

athanclark/stackage,michalkonecny/stackage,simonmichael/stackage,fimad/stackage,mgajda/stackage,soenkehahn/stackage,int-index/stackage,mstksg/stackage,asr/stackage,peti/stackage,creichert/stackage,spencerjanssen/stackage,wereHamster/stackage,clinty/stackage,stackbuilders/stackage,mrkkrp/stackage,jonschoning/stackage,Shimuuar/stackage,Daniel-Diaz/stackage,iand675/stackage,ethercrow/stackage,massysett/stackage,fpco/stackage