On interpreter and loose stack

Stack on 4bot:

Have two bits run main

Stack with other two bits

Make stack loose by inserting in stack at t

Example code:

Main(x)

(

For i in I

 Stack(x,y)

 Run x

 Run y

)

// N bit y is n symbolic calls

Trace the interpreter

Provide end pointer t=n

in run(x,n)

and run(y,n)

Like

Run(x,n)

(

Till n

Do x

)

Stiffening the stack

Remove trace calls by tracing empty pointers

The above could be known as: tidying the compiler