storekeys
S3(r3, r4, r0, r1, r2); storekeys(r1, r2, r4, r3, 0);
({ storekeys(x0, x1, x2, x3, s); loadkeys(x0, x1, x2, x3, l); })