specified_8.0-dev_when_compiled