S_mark_defined

(Discussion to be completed.)