Tweaks to reduce space usage#300

polytypic wants to merge 1 commit intomainocaml-multicore/picos:mainfrom

stack-usage-tweaksocaml-multicore/picos:stack-usage-tweaksCopy head branch name to clipboard