Optional
Local or connected cancellation: retires the machine, then drains started store work/publication before rejecting the call or event read; not a bounded terminal.
Local or connected cancellation: retires the machine, then drains started store work/publication before rejecting the call or event read; not a bounded terminal.