let
cfg_spec_only cfg = cfg.spec_only