dzn_rt.handling(this) = false;
dzn_rt.flush(this);
dzn::port_block(dzn_locator, &this->#.port.name);