fmod LLL-Memory is
  protecting MachineInt .
  sorts Bit MachineWord Address .
endfm

fmod LLL-Store is
  protecting LLL-Memory .
  sorts Storage Memory Pool .
endfm

fmod LLL-Processor is
  sorts Processor Thread .
endfm

fmod LLL is
  protecting HLL .
endfm