A20_TEST_ADDR
saved = ctr = rdfs32(A20_TEST_ADDR);
wrfs32(++ctr, A20_TEST_ADDR);
ok = rdgs32(A20_TEST_ADDR+0x10) ^ ctr;
wrfs32(saved, A20_TEST_ADDR);