import "io"
import "os1"

let start() be
{ let addr = 0x80001900;    // in page 3 of system code space
  outs("checking...");
  ! addr := 1234;
  outs("%d\n", ! addr) }