big mess to derive wf-sub-env-size0, sub-venv-size