import "io"

let address, value1, value2, pageno 

let start() be
{ let last = ! 0x101;
  let patt1 = 0x5A5A5A5A, patt2 = 0x12345678;
  pageno := (last + 1027) >> 11;
  out("last = %x, pageno = %d\n", last, pageno);
  
  while pageno < 0b1000000000000000000000 do
  { address := pageno << 11;
    value1 := ! address;
    value2 := 1 ! address;
    ! address := patt1;
    1 ! address := patt2;
    test ! address /= patt1 \/ 1 ! address /= patt2 then
      out("page %08x = %d not there\n", pageno, pageno)
    else
      out("page %08x = %d OK\n", pageno, pageno);
    ! address := value1;
    1 ! address := value2;
    pageno +:= 1 }
  outs("done\n"); }