static then and executable sync points