module JVM.Memory where

data area : Set where
  global thread-local : area

data memory : area → Set where
  pc stack : memory thread-local
  heap method-area : memory global