let
spec_modified = ref
false