let spec_modified = ref false