[ 2022-01-22; Jonathan replaces swap(x, y) in the Annex D wording, following reflector discussion about lookup for swap finding itself in that context. ]