let option_name = "-val-use-spec"