C 인터프리터를 Javascript로 구현하는 도중에... 뭔가 메모리에 대한 종합적인 궁금증이 생겼습니다.

-----
입력 1:
int num1, num2, num3, max, min;
num1 = 1, num2 = 2;
num3 = num1 + num2;
max = num1 < num2 ? num2 : num1;
min = ((num1 < num2) ? ((num1 < num3) ? num1 : num3) : ((num2 < num3) ? num2 : num3);
 
출력 1:
int num1, num2, num3, max, min;
run.findModule: module: [dcl]                           // run 객체가 findModule 메서드를 호출하여 가장 적합한 모듈을 찾아냅니다. 찾아낸 모듈은 dcl
> add data
[num1 00000000int]
[num2 00000000int]
[num3 00000000int]
[max 00000000int]
[min 00000000int]
 
num1 = 1, num2 = 2;
run.findModule: module: [rdx]                           // 찾아낸 모듈은 rdx
rdx.convert: expression: [num1 1 = num2 2 = ,]          // rdx의 convert 메서드가 호출된 후 변환된 후위 연산식을 보여줌
<<<<< memory >>>>>                                      // 연산 완료 후 메모리 상태를 보여줌
num1: 1 (1000)                                          // 변수_이름: 변수_값 (변수_주소). 이때 변수_주소는 완전 무의미한 값이다
num2: 2 (1004)                                          // 그냥 1000을 시작주소로 잡고 4씩 더하기만 함
num3: 0 (1008)                                          // 16진수도 아님
max: 0 (1012)                                           // 그리고 초깃값은 일단 0으로 줬음
min: 0 (1016)
 
num3 = num1 + num2;
run.findModule: module: [rdx]                           // 간단하게, 앞에 형식(type)/지정자(specifier)/한정자(qualifier)나 typedef가 있으면 dcl, 그 외의 경우 rdx로 판정하게 했다
rdx.convert: expression: [num3 num1 num2 + =]
<<<<<< memory >>>>>
num1: 1 (1000)
num2: 2 (1004)
num3: 3 (1008)
max: 0 (1012)
min: 0 (1016)
 
max = num1 < num2 ? num2 : num1;
run.findModule: module: [rdx]
rdx.convert: expression: [max num1 num2 < 0 ? num1 : num2 ; =] // 삼항 연산자는 책에 예제가 없어 직접 고안했다. a ? b : c라면 a 0 ? b : c ;로 변환해 후위 연산식을 유지하게끔 했음. 근데 0은 필요없을 것 같다
<<<<< memory >>>>>
num1: 1 (1000)                                                 // 해석할 때 참이라면 첫 부분만 읽고 뒷 부분을 스킵하는 옵션을 줌
num2: 2 (1004)                                                 // 거짓이라면 첫 부분에서 스킵하는 옵션을 주고 뒷 부분을 읽음
num3: 3 (1008)
max: 2 (1012)
min: 0 (1016)
 
min = ((num1 < num2) ? ((num1 < num3) ? num1 : num3) : ((num2 < num3) ? num2 : num3);   // 사실 이 부분은 구현된 상태는 아니고 이럴 것이라 예상하는 부분입니다.
run.findModule: module: [rdx]
rdx.convert: expression: [min num1 num2 < 0 ? num1 num3 < 0 ? num1 : num3 ; num2 num3 < 0 ? num2 : num3 ; =]
<<<<< memory >>>>>
num1: 1 (1000)
num2: 2 (1004)
num3: 3 (1008)
max: 2 (1012)
min: 1 (1016)
 
-----
입력 2:
typedef int Var, *Ptr, **PtrPtr, *ArrPtr[], (*PtrArr)[], Func();
Var var;
test t;
const int n1;
static const unsigned scu;
unsigned long long int ull;
extern static int es1;
n1 = 1;
 
출력 2:
typedef int Var, *Ptr, **PtrPtr, *ArrPtr[], (*PtrArr)[], Func(), comp(int num1, int num2), strcmp(const char *, const char *);
run.findModule: module: [dcl]
> add type
[Var 00000000int]
[Ptr *00000000int]
[PtrPtr **00000000int]
[ArrPtr []*00000000int]
[PtrArr *[]00000000int]
[Func ()00000000int]
[comp (00000000int, 00000000int)00000000int]
[strcmp (*00100000char, *00100000char)00000000int]    // 오른쪽으로부터 6번째 비트는 constant 속성
 
Var var;
run.findModule: module: [dcl]
> add data
[var Var]
 
test t;
run.findModule: module: [rdx]
rdx.convert: exception: undeclared identifier 'test'  // 던진 예외는 바로 출력하기도 하고 오류 리스트에 넣어서 해석 종료 후 일괄적으로 보여주기도 한다
 
const int n1;
run.findModule: module: [dcl]
> add data
[n1 00100000int]
 
static const unsigned scu;
run.findModule: module: [dcl]
> add data
[scu 00110100int]                                     // 5번째는 4번째와 더불어 00:auto, 01:extern, 10:static, 11:volatile로 하려고 했다. 나중엔 11은 오류 처리하고 volatile은 다른 비트로 설정하게끔 함
 
unsigned long long int ull;                           // 3번째는 부호. 0:signed, 1:unsigned. 2번째는 1번째와 더불어 00:normal, 01:short, 10:long, 11:long long
run.findModule: module: [dcl]
> add data
[ull 00000111int]
 
extern static int es1;                                // 지정자 중복 오류로 탈출. (11이라서)
run.findModule: module: [dcl]
dcl.dcl: exception: duplicated specifier
 
n1 = 1;
run.findModule: module: [rdx]
rdx.convert: expression: [n1 1 =]
rdx.convert: exception: n1 is const; cannot change value    // const 속성을 보고 1이라서 예외처리
 
-----