Pensieve header: Swapping two memory cells without using a third.

a=5; b=3;
{a,b}

a=b

b=a

{a,b}

a=5; b=3;
{a,b}

b=a+b; a=b-a; b=b-a;
{a,b}