wrap-up-assignment-semantics-SIG-22-23.pdf