521522523524525526527528529530531
// two-way link to new owner EInternalPID caller_pid = caller.testInternalPID(); if (caller_pid != null) { caller_pid.task().link_oneway(driver.self_handle()); driver.link_oneway(caller_pid); } ERT.run(driver); return copy; }