fixup! Introduce ConstantSpec::get_value.