(* new module KRML *)
UNSAFE MODULE RTMemory;

IMPORT Word;

VAR
  MEMORY: ARRAY [ 0 .. 16_4000 - 1 ] OF Word.T;  (* 16 K-words *)

PROCEDURE Init() =
  BEGIN
    (* this procedure should only be called once *)
    <* ASSERT MEMORY_Start = NIL *>

    MEMORY_Start := ADR( MEMORY );
    MEMORY_End := MEMORY_Start + ADRSIZE( MEMORY )
  END Init;

BEGIN
END RTMemory.