[구상준]

spec 문서의 letv의 설명을 보면
memory의 domain에 없는 l이라는 이름을 임시로 새롭게 설정해야 합니다만
주어진 module MEM에는
어떤 이름이 그 domain에 있는지 없는지 확인 할 수 있는 방법이 없습니다.
(물론 없을 때 load를 부르면 에러가 나긴하겠지만...)

방법은 두 가지가 있을 것 같은데
(1) MEM type이 어떻게 구현되었는지 알고 있으므로 확인하는 함수를
새로 짠다.
(2) l을 겹치지 않고 만드는 규칙에 따라 이름을 붙여준다.

그렇지만 (1)의 방법은 module의 추상화에 어긋나는 것 같아서요.

[신기정]

l 이라는 것은 이름이 아니라 주소입니다.

Mem.alloc을 하면 사용중이지 않는 새로운 주소를 할당받을 수 있습니다.