:: SCM_HALT semantic presentation

begin